Move data structures from execution.h to history.h

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 3c2edaf..7b84612 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()),
-       thrd_func_list(),
-       thrd_func_act_lists(),
        isfinished(false)
 {
        /* Initialize a model-checker thread, for special ModelActions */