Cleanup of config/includes.
[fw/openocd] / src / helper / time_support.h
index a9f2dffad0d577a0df3dbb81a9153c8108f6494f..3c7d4255b9c0dd4437f39b33b6aa7d432e9401d1 100644 (file)
@@ -26,6 +26,7 @@
 #define OPENOCD_HELPER_TIME_SUPPORT_H
 
 #include <time.h>
+#include "types.h"
 
 #ifdef HAVE_SYS_TIME_H
 #include <sys/time.h>