model: remove extraneous copy-and-paste

diff --git a/model.cc b/model.cc
index cd20321bb8c76a4c76adb1b43c29d8c2c7e6b4b5..82b90601048845f32a9af77d57e938e8fb11450f 100644 (file)
--- 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;
        }
 }