From: Brian Norris <banorris@uci.edu>
Date: Thu, 24 Jan 2013 00:34:00 +0000 (-0800)
Subject: model: remove local variable
X-Git-Tag: oopsla2013~333
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f9014084002aed770d6de4e564dbd1ebf341fc2f;p=model-checker.git

model: remove local variable
---

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;