promise: construct with a 'future_value' struct

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 97df9a2dbba274857e85e6be417489c776e82024..39c19685b119225df02e0666f61775b775351c6f 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -738,7 +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, value, fv.expiration);
+                       Promise *valuepromise = new Promise(curr, fv);
                        promises->push_back(valuepromise);
                }
                get_thread(curr)->set_return_value(value);