From 5b22024b3c5e054ed1861e90b47f28c5698fb3e1 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Fri, 25 May 2012 17:11:09 -0700
Subject: [PATCH] model: don't reset action_trace manually

Snapshotting takes care of this one
---
 model.cc | 2 --
 1 file changed, 2 deletions(-)

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;
-- 
2.34.1