Eliminate MixedCaps symbol from public JTAG TAP API:

[openocd] / src / flash / nand_ecc.c

diff --git a/src/flash/nand_ecc.c b/src/flash/nand_ecc.c
index 91dd8c6b8f44f3c6eef299bb7d255856b92266c8..c1a18835f7f063f29797db642c7e5f6e30f00f0f 100644 (file)
--- a/src/flash/nand_ecc.c
+++ b/src/flash/nand_ecc.c
@@ -41,10 +41,6 @@
 #include "config.h"
 #endif
 
-#include "replacements.h"
-
-#include <inttypes.h>
-
 #include "nand.h"
 
 /*