model: don't reset action_trace manually

Snapshotting takes care of this one

diff --git a/model.cc b/model.cc
index 4db55728db7e347383fcdb70b070c7ac8f94a4f4..1dea669fbd5f5c1a99888c2db54d1141f4ee907a 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -50,8 +50,6 @@ void ModelChecker::reset_to_initial_state()
        for (it = thread_map->begin(); it != thread_map->end(); it++)
                delete (*it).second;
        thread_map->clear();
-       delete action_trace;
-       action_trace = new action_list_t();
        node_stack->reset_execution();
        current_action = NULL;
        next_thread_id = INITIAL_THREAD_ID;