X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=65b060f6c1941b33720a3f9b572a9f2e7c0c8e31;hb=5e1443be9f872684a7b40093198bd020a9a2f0bf;hp=dfe2102d47b4ced0879f25509fd7ef1f7c7850f5;hpb=10536d9feee27d20b8022ff4fde8000a2cbb3a38;p=model-checker.git

diff --git a/action.h b/action.h
index dfe2102..65b060f 100644
--- a/action.h
+++ b/action.h
@@ -14,6 +14,7 @@
 #include "modeltypes.h"
 
 class ClockVector;
+class Thread;
 
 using std::memory_order;
 using std::memory_order_relaxed;
@@ -66,7 +67,7 @@ class ClockVector;
  */
 class ModelAction {
 public:
-	ModelAction(action_type_t type, memory_order order, void *loc, uint64_t value = VALUE_NONE);
+	ModelAction(action_type_t type, memory_order order, void *loc, uint64_t value = VALUE_NONE, Thread *thread = NULL);
 	~ModelAction();
 	void print() const;