execution: make structure snapshotting

[c11tester.git] / action.cc

diff --git a/action.cc b/action.cc
index 8384101a4d54581475600aa77fac2a94efa479b3..0084fd3411cdb57e888b1dcef161eb16a6d1398d 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -1,6 +1,7 @@
 #include <stdio.h>
 #define __STDC_FORMAT_MACROS
 #include <inttypes.h>
+#include <stdlib.h>
 
 #include "model.h"
 #include "action.h"
@@ -501,7 +502,6 @@ bool ModelAction::synchronize_with(const ModelAction *act)
 {
        if (*this < *act)
                return false;
-       model->check_promises(act->get_tid(), cv, act->cv);
        cv->merge(act->cv);
        return true;
 }