X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=1387ed15b67c9ac25d7fcba68491bbb72d8ff236;hb=37bf8e7d54c72e0aeee029a491e45bb9d7b2f409;hp=140d59098f8c37732753e4f80ddc58f8a883810b;hpb=f9772fc7b25c7c632e51e0888599f0063bc40d60;p=model-checker.git

diff --git a/action.cc b/action.cc
index 140d590..1387ed1 100644
--- a/action.cc
+++ b/action.cc
@@ -365,7 +365,7 @@ bool ModelAction::synchronize_with(const ModelAction *act) {
 
 bool ModelAction::has_synchronized_with(const ModelAction *act) const
 {
-	return cv->has_synchronized_with(act->cv);
+	return cv->synchronized_since(act);
 }
 
 /**