X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=8dc88430f2b093969c00ed9f4cff18163072d776;hb=12b1a10eeff58161619bafcfd8e288b3e2c76621;hp=f6fb06236fe0230eb942c38dcc177c081db341bd;hpb=081ec029e06a68012f1a3fd119671148bfac9605;p=model-checker.git

diff --git a/action.h b/action.h
index f6fb062..8dc8843 100644
--- 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;