Move data structures from execution.h to history.h

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 3c2edafaf03bea96f467aff2f35c8976862ce1db..7b8461226a8860d60a0311c2fa2538607c9b1363 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -64,8 +64,6 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) :
        priv(new struct model_snapshot_members ()),
        mo_graph(new CycleGraph()),
        fuzzer(new NewFuzzer()),
        priv(new struct model_snapshot_members ()),
        mo_graph(new CycleGraph()),
        fuzzer(new NewFuzzer()),

-       thrd_func_list(),
-       thrd_func_act_lists(),

        isfinished(false)
 {
        /* Initialize a model-checker thread, for special ModelActions */
        isfinished(false)
 {
        /* Initialize a model-checker thread, for special ModelActions */