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

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

diff --git a/src/target/arm11.c b/src/target/arm11.c
index 44c9ad300e9d0219324e993fe4a990b8fc04f637..124868e5d00920c75a0206534f20a9f835bca59a 100644 (file)
--- a/src/target/arm11.c
+++ b/src/target/arm11.c
@@ -30,7 +30,7 @@
 #include "breakpoints.h"
 #include "arm11_dbgtap.h"
 #include "arm_simulator.h"
-#include "time_support.h"
+#include <helper/time_support.h>
 #include "target_type.h"
 #include "algorithm.h"
 #include "register.h"