modeltypes: move small typedefs to own header

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index f6fb06236fe0230eb942c38dcc177c081db341bd..8dc88430f2b093969c00ed9f4cff18163072d776 100644 (file)
--- a/action.h
+++ b/action.h
@@ -7,11 +7,13 @@
 
 #include <list>
 #include <cstddef>
+#include <inttypes.h>
 
-#include "threads.h"
 #include "mymemory.h"
-#include "clockvector.h"
 #include "memoryorder.h"
+#include "modeltypes.h"
+
+class ClockVector;
 
 using std::memory_order;
 using std::memory_order_relaxed;