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 aeb47dbb586942a478f7d88f423705e34ea772de..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.
@@ -124,6 +121,6 @@ extern int debug_level;
 /* see "Error:" log entry for meaningful message to the user. The caller should 
  * make no assumptions about what went wrong and try to handle the problem.
  */
-#define ERROR_FAIL                             (-4)
+#define ERROR_FAIL                                     (-4)
 
 #endif /* LOG_H */