cyclegraph: change Promise nodes map

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 94bc58b6c5a010254ac34a509afe1a135fa1247d..446137922bbce9b56aa37c092db174a0dc3df71f 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -2447,7 +2447,7 @@ bool ModelChecker::resolve_promises(ModelAction *write)
                        read_from(read, write);
                        //Make sure the promise's value matches the write's value
                        ASSERT(promise->is_compatible(write));
-                       mo_graph->resolvePromise(read, write, &mustResolve);
+                       mo_graph->resolvePromise(promise, write, &mustResolve);
 
                        resolved.push_back(promise);
                        promises->erase(promises->begin() + promise_index);