local commit... bug that prunes too many executions

[cdsspec-compiler.git] / action.cc

diff --git a/action.cc b/action.cc
index 20777f96161cfa84c3130c07f11177258481eb5f..c6504cd388d0f44f6ec72c038d36996b79fad882 100644 (file)
--- 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;
 }