model: clear a ModelAction's reads-from properly

diff --git a/model.cc b/model.cc
index 83c79c97ffc654818df100c04ebbf5efa8c244a6..3a1a7e2315128d88a0679b1a047d67593ae37906 100644 (file)
--- 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);
                }