build: add helper/types.h to config.h

[openocd] / src / rtos / rtos.h

diff --git a/src/rtos/rtos.h b/src/rtos/rtos.h
index a93daeef974fa85f014a281199f77f6d00fd1855..d8335b4a82e022210563be2fe4364c3ca6a72ca9 100644 (file)
--- a/src/rtos/rtos.h
+++ b/src/rtos/rtos.h
@@ -22,7 +22,6 @@
 #define RTOS_H
 
 #include "server/server.h"
-#include <helper/types.h>
 #include <jim-nvp.h>
 
 typedef int64_t threadid_t;