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 a790018f0ed2cb7b0fa9e003b30f1062a75bbd43..1a032b26151171b670ab80dd713387083394cb30 100644 (file)
--- a/src/helper/log.h
+++ b/src/helper/log.h
@@ -26,11 +26,8 @@
 #ifndef ERROR_H
 #define ERROR_H
 
-#include "replacements.h"
 #include "command.h"
 
-#include <stdarg.h>
-
 /* logging priorities 
  * LOG_LVL_SILENT - turn off all output. In lieu of try+catch this can be used as a 
  *                  feeble ersatz.