X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=446137922bbce9b56aa37c092db174a0dc3df71f;hb=3510b440b186949cbc0760d369da6787f0def7ac;hp=94bc58b6c5a010254ac34a509afe1a135fa1247d;hpb=dbee0c57f6edff31aafb79d6e956f1408bbb8fb8;p=model-checker.git

diff --git a/model.cc b/model.cc
index 94bc58b..4461379 100644
--- 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);