X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=96ea6fa902ae28e2da69aaef6b899a6621c777da;hb=80ab61e4168b993a319788c70fd41e63a34ba627;hp=d178976a2c8e0206128750b5eaddac1485a4b432;hpb=6f8de9e0f5697652fd20b2ecf149f96bfb572538;p=model-checker.git

diff --git a/action.h b/action.h
index d178976..96ea6fa 100644
--- a/action.h
+++ b/action.h
@@ -101,7 +101,7 @@ public:
 	bool same_var(const ModelAction *act) const;
 	bool same_thread(const ModelAction *act) const;
 	bool is_conflicting_lock(const ModelAction *act) const;
-	bool is_synchronizing(const ModelAction *act) const;
+	bool could_synchronize_with(const ModelAction *act) const;
 
 	void create_cv(const ModelAction *parent = NULL);
 	ClockVector * get_cv() const { return cv; }