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-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=7888740e94be8706a4e09ae216dcf2e378257617

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

diff --git a/model.cc b/model.cc
index cd20321b..82b90601 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;
 	}
 }