X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=action.h;h=a87e1f2343ad82eb1428bdf696e5766e6d05886c;hp=ffe60dc5e8e9a33e18a59123c77d6a6fa09f505b;hb=80617a5bb7ad550ac821b68e81dce05b5c906309;hpb=88ccfdff63126a0fa70c094c7ed7e66f68e1b861

diff --git a/action.h b/action.h
index ffe60dc..a87e1f2 100644
--- a/action.h
+++ b/action.h
@@ -81,6 +81,7 @@ public:
 	void create_cv(const ModelAction *parent = NULL);
 	ClockVector * get_cv() const { return cv; }
 	void read_from(const ModelAction *act);
+	void synchronize_with(const ModelAction *act);
 
 	bool happens_before(const ModelAction *act) const;
 
@@ -96,7 +97,6 @@ public:
 
 	MEMALLOC
 private:
-	void synchronize_with(const ModelAction *act);
 
 	/** Type of action (read, write, thread create, thread yield, thread join) */
 	action_type type;