modeltypes: move small typedefs to own header

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index b5843ed6b7c5ebf6ba091e05afac6ac70593e1ae..73d212d0166d2ac3d2fc7368f25afac0333ac491 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -12,6 +12,7 @@
 #include "promise.h"
 #include "datarace.h"
 #include "mutex.h"
+#include "threads.h"
 
 #define INITIAL_THREAD_ID      0