From: Brian Norris <banorris@uci.edu>
Date: Thu, 23 Aug 2012 19:30:27 +0000 (-0700)
Subject: action: make synchronize_with() public
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=80617a5bb7ad550ac821b68e81dce05b5c906309

action: make synchronize_with() public
---

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;