Eliminate MixedCaps symbol from public JTAG TAP API:

[openocd] / src / helper / system.h

diff --git a/src/helper/system.h b/src/helper/system.h
index 2e3906d46611e27416be1f3803673bcf274ac3a8..07b0cb9f2ffce25e2dde2792f34ad9184c11498a 100644 (file)
--- a/src/helper/system.h
+++ b/src/helper/system.h
@@ -26,6 +26,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
+#include <assert.h>
 #include <ctype.h>
 #include <errno.h>