model: don't clear thread_map (snapshot)

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 1dea669fbd5f5c1a99888c2db54d1141f4ee907a..d28c1c26634ab2c772aab5881db6d78d49ffcaac 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -46,10 +46,6 @@ ModelChecker::~ModelChecker()
 void ModelChecker::reset_to_initial_state()
 {
        DEBUG("+++ Resetting to initial state +++\n");
-       std::map<int, class Thread *>::iterator it;
-       for (it = thread_map->begin(); it != thread_map->end(); it++)
-               delete (*it).second;
-       thread_map->clear();
        node_stack->reset_execution();
        current_action = NULL;
        next_thread_id = INITIAL_THREAD_ID;