gdb_server: make struct gdb_connection private
[fw/openocd] / src / openocd.c
index b6dc010e5844f3f27a4239ce19d3a7390db62db9..8cb86746bf51e61fd5f5a5b7cea4ff3d75e4d9d4 100644 (file)
@@ -34,8 +34,8 @@
 #include <helper/configuration.h>
 #include <xsvf/xsvf.h>
 #include <svf/svf.h>
-#include <flash/flash.h>
-#include <flash/nand.h>
+#include <flash/nor/core.h>
+#include <flash/nand/core.h>
 #include <pld/pld.h>
 #include <flash/mflash.h>