X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=f6fb06236fe0230eb942c38dcc177c081db341bd;hb=f297a4e3dc814290c43671fea54a85c7a1a2aeee;hp=2bf01dce092b71d1a0fa37bc82a29802036e9d1c;hpb=1ced3dc2f0a7640ec7f724c477ea87affc697ea9;p=model-checker.git

diff --git a/action.h b/action.h
index 2bf01dc..f6fb062 100644
--- a/action.h
+++ b/action.h
@@ -78,6 +78,7 @@ public:
 	void set_node(Node *n) { node = n; }
 
 	void copy_from_new(ModelAction *newaction);
+	void set_seq_number(modelclock_t num);
 	void set_try_lock(bool obtainedlock);
 	bool is_mutex_op() const;
 	bool is_lock() const;