modeltypes: move small typedefs to own header
[c11tester.git] / nodestack.cc
index c6ca076d734aa2460ed9efa1aa25cbe1aca04afa..a73765320dac47e97428390fe37bc3b06ba10483 100644 (file)
@@ -4,6 +4,7 @@
 #include "action.h"
 #include "common.h"
 #include "model.h"
+#include "threads.h"
 
 /**
  * @brief Node constructor