From: Brian Norris <banorris@uci.edu>
Date: Fri, 7 Dec 2012 06:02:03 +0000 (-0800)
Subject: model: clear a ModelAction's reads-from properly
X-Git-Tag: oopsla2013~455
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0061f073380db853c737ab214a56f194e5627eac;p=model-checker.git

model: clear a ModelAction's reads-from properly
---

diff --git a/model.cc b/model.cc
index 83c79c9..3a1a7e2 100644
--- a/model.cc
+++ b/model.cc
@@ -712,7 +712,7 @@ bool ModelChecker::process_read(ModelAction *curr, bool second_part_of_rmw)
 			/* Read from future value */
 			value = curr->get_node()->get_future_value();
 			modelclock_t expiration = curr->get_node()->get_future_value_expiration();
-			read_from(curr, NULL);
+			curr->set_read_from(NULL);
 			Promise *valuepromise = new Promise(curr, value, expiration);
 			promises->push_back(valuepromise);
 		}