From 0061f073380db853c737ab214a56f194e5627eac Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 6 Dec 2012 22:02:03 -0800 Subject: [PATCH] model: clear a ModelAction's reads-from properly --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); } -- 2.34.1