Eliminate MixedCaps symbol from public JTAG TAP API:

[openocd] / src / helper / log.h

diff --git a/src/helper/log.h b/src/helper/log.h
index 4f781991c257dd5221674052ac6d6db7de688ce8..1a032b26151171b670ab80dd713387083394cb30 100644 (file)
--- a/src/helper/log.h
+++ b/src/helper/log.h
@@ -26,7 +26,6 @@
 #ifndef ERROR_H
 #define ERROR_H
 
-#include "replacements.h"
 #include "command.h"
 
 /* logging priorities