Eliminate MixedCaps symbol from public JTAG TAP API:

[openocd] / src / helper / configuration.c

diff --git a/src/helper/configuration.c b/src/helper/configuration.c
index be6f56620cc45bce29038029bccb6b0defac2972..d1395e6ad4fb21e1184aed27911f5bb45d83b09d 100644 (file)
--- a/src/helper/configuration.c
+++ b/src/helper/configuration.c
@@ -24,14 +24,9 @@
 #include "config.h"
 #endif
 
-#include "types.h"
-#include "command.h"
 #include "configuration.h"
 #include "log.h"
 
-#include <stdio.h>
-#include <stdlib.h>
-#include <string.h>
 
 static size_t num_config_files;
 static char** config_file_names;
@@ -91,7 +86,6 @@ char *find_file(const char *file)
        return NULL;
 }
 
-
 FILE *open_file_from_path (char *file, char *mode)
 {
        if (mode[0]!='r')