Eliminate MixedCaps symbol from public JTAG TAP API:

[openocd] / src / helper / jim.h

diff --git a/src/helper/jim.h b/src/helper/jim.h
index 5ea437216a38e6cd191d6c05e5f9ae6d3f37a85f..f52fda14c1a05dbff3550b100a64fb6dfc09974f 100644 (file)
--- a/src/helper/jim.h
+++ b/src/helper/jim.h
@@ -1058,6 +1058,7 @@ JIM_STATIC int JIM_API( Jim_GetOpt_Obj)( Jim_GetOptInfo *goi, Jim_Obj **puthere
  *
  * \param goi     - get opt info
  * \param puthere - where param is put
+ * \param len     - return its length
  */
 JIM_STATIC int JIM_API( Jim_GetOpt_String )( Jim_GetOptInfo *goi, char **puthere, int *len );