modeltypes: move small typedefs to own header

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 23c42ebb199a6ce30b5859b80ca8d5537038d0a3..62c762711bcb8300765483ee075ec9747d412d5f 100644 (file)
--- a/model.h
+++ b/model.h
@@ -11,19 +11,18 @@
 #include <ucontext.h>
 
 #include "mymemory.h"
-#include "libthreads.h"
-#include "threads.h"
 #include "action.h"
-#include "clockvector.h"
 #include "hashtable.h"
 #include "workqueue.h"
 #include "config.h"
+#include "modeltypes.h"
 
 /* Forward declaration */
 class NodeStack;
 class CycleGraph;
 class Promise;
 class Scheduler;
+class Thread;
 
 /** @brief Shorthand for a list of release sequence heads */
 typedef std::vector< const ModelAction *, ModelAlloc<const ModelAction *> > rel_heads_list_t;