change #include "time_support.h" to <helper/time_support.h>
[fw/openocd] / src / flash / nor / aduc702x.c
index 109b48665df27bd4cca31bb1b65edbe8aed90cb5..f7aa7468b0edbb6e28290d4846d1fcb645b158c0 100644 (file)
@@ -26,7 +26,7 @@
 #include "flash.h"
 #include "armv4_5.h"
 #include <helper/binarybuffer.h>
-#include "time_support.h"
+#include <helper/time_support.h>
 #include "algorithm.h"