change #include "time_support.h" to <helper/time_support.h>
[fw/openocd] / src / pld / pld.c
index 985e36485d1771d697ae11f1da47793e581bd58d..6a0bd93dcc917e444a720cdadfa9c488cf9082d3 100644 (file)
@@ -23,7 +23,7 @@
 
 #include "pld.h"
 #include <helper/log.h>
-#include "time_support.h"
+#include <helper/time_support.h>
 
 
 /* pld drivers