change #include "time_support.h" to <helper/time_support.h>

[fw/openocd] / src / target / arm720t.c

diff --git a/src/target/arm720t.c b/src/target/arm720t.c
index d900d8ae23981fab090b127b0a69d40920deeaba..a4d274ea3f4de834897f400ad68d0696a0fe2402 100644 (file)
--- a/src/target/arm720t.c
+++ b/src/target/arm720t.c
@@ -25,7 +25,7 @@
 #endif
 
 #include "arm720t.h"
-#include "time_support.h"
+#include <helper/time_support.h>
 #include "target_type.h"
 #include "register.h"