X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=c6504cd388d0f44f6ec72c038d36996b79fad882;hb=c832cb55af09e735821ae3463bc37c29d3fa27c8;hp=20777f96161cfa84c3130c07f11177258481eb5f;hpb=f4d77c40b4029cdc18f4aaa5a4e01dfbcfca5f7b;p=model-checker.git

diff --git a/action.cc b/action.cc
index 20777f9..c6504cd 100644
--- a/action.cc
+++ b/action.cc
@@ -281,7 +281,7 @@ bool ModelAction::read_from(const ModelAction *act)
 bool ModelAction::synchronize_with(const ModelAction *act) {
 	if (*this < *act && type != THREAD_JOIN && type != ATOMIC_LOCK)
 		return false;
-	model->check_promises(cv, act->cv);
+	model->check_promises(act->get_tid(), cv, act->cv);
 	cv->merge(act->cv);
 	return true;
 }