rtos: Rewrite rtos_qsymbol() and fix auto-detect false positive
[fw/openocd] / src / rtos / rtos.h
index a93daeef974fa85f014a281199f77f6d00fd1855..d8335b4a82e022210563be2fe4364c3ca6a72ca9 100644 (file)
@@ -22,7 +22,6 @@
 #define RTOS_H
 
 #include "server/server.h"
-#include <helper/types.h>
 #include <jim-nvp.h>
 
 typedef int64_t threadid_t;