X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=205b8d0bd236989a6131efa45cdefba0f7cc1096;hb=f646d6a9d7c201e54a3f7eb1f026064d4136cf2e;hp=d3229b296526db6ee54c07d0055e22a336011b5a;hpb=3ec8b2cabc09653e410e28531669102d2bab449b;p=model-checker.git

diff --git a/model.h b/model.h
index d3229b2..205b8d0 100644
--- a/model.h
+++ b/model.h
@@ -37,8 +37,11 @@ public:
 	void add_system_thread(struct thread *t);
 	void assign_id(struct thread *t);
 
+	void set_current_action(ModelAction *act) { current_action = act; }
+
 private:
 	int used_thread_id;
+	class ModelAction *current_action;
 };
 
 extern ModelChecker *model;