From: Brian Norris <banorris@uci.edu>
Date: Tue, 4 Dec 2012 00:58:58 +0000 (-0800)
Subject: model: remove extraneous copy-and-paste
X-Git-Tag: oopsla2013~481
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7888740e94be8706a4e09ae216dcf2e378257617;p=model-checker.git

model: remove extraneous copy-and-paste
---

diff --git a/model.cc b/model.cc
index cd20321..82b9060 100644
--- a/model.cc
+++ b/model.cc
@@ -2006,10 +2006,6 @@ void ModelChecker::add_action_to_lists(ModelAction *act)
 		if (tid >= (int)vec->size())
 			vec->resize(priv->next_thread_id);
 		(*vec)[tid].push_back(act);
-
-		if ((int)thrd_last_action->size() <= tid)
-			thrd_last_action->resize(get_num_threads());
-		(*thrd_last_action)[tid] = act;
 	}
 }