X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.cc;h=0ec13900b4e56b4bde68db8978bd9d5202b28946;hb=144f1b806679fd9030147f554513d7fce36f65dc;hp=dc1b6c53986725a9303a156fcc888c4bb7c8b456;hpb=19a4794da8f07346ee407bdee032eeaf59fe0e9a;p=model-checker.git

diff --git a/execution.cc b/execution.cc
index dc1b6c5..0ec1390 100644
--- a/execution.cc
+++ b/execution.cc
@@ -616,7 +616,7 @@ bool ModelExecution::process_read(ModelAction *curr)
 		case READ_FROM_FUTURE: {
 			/* Read from future value */
 			struct future_value fv = node->get_future_value();
-			Promise *promise = new Promise(curr, fv);
+			Promise *promise = new Promise(this, curr, fv);
 			curr->set_read_from_promise(promise);
 			promises->push_back(promise);
 			mo_graph->startChanges();