model: remove public check_promises() interface
[model-checker.git] / action.cc
index 8384101..2750edf 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -501,7 +501,6 @@ bool ModelAction::synchronize_with(const ModelAction *act)
 {
        if (*this < *act)
                return false;
 {
        if (*this < *act)
                return false;
-       model->check_promises(act->get_tid(), cv, act->cv);
        cv->merge(act->cv);
        return true;
 }
        cv->merge(act->cv);
        return true;
 }