From f9014084002aed770d6de4e564dbd1ebf341fc2f Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 23 Jan 2013 16:34:00 -0800 Subject: [PATCH] model: remove local variable --- model.cc | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/model.cc b/model.cc index ac88933..a074f6c 100644 --- a/model.cc +++ b/model.cc @@ -738,8 +738,7 @@ bool ModelChecker::process_read(ModelAction *curr, bool second_part_of_rmw) struct future_value fv = curr->get_node()->get_future_value(); value = fv.value; curr->set_read_from(NULL); - Promise *valuepromise = new Promise(curr, fv); - promises->push_back(valuepromise); + promises->push_back(new Promise(curr, fv)); } get_thread(curr)->set_return_value(value); return updated; -- 2.34.1