From: Brian Norris <banorris@uci.edu>
Date: Sat, 26 May 2012 00:11:09 +0000 (-0700)
Subject: model: don't reset action_trace manually
X-Git-Tag: pldi2013~392^2~32
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5b22024b3c5e054ed1861e90b47f28c5698fb3e1;p=model-checker.git

model: don't reset action_trace manually

Snapshotting takes care of this one
---

diff --git a/model.cc b/model.cc
index 4db5572..1dea669 100644
--- 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;