From 7888740e94be8706a4e09ae216dcf2e378257617 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 3 Dec 2012 16:58:58 -0800 Subject: [PATCH] model: remove extraneous copy-and-paste --- model.cc | 4 ---- 1 file changed, 4 deletions(-) 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; } } -- 2.34.1