X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.cc;h=152e36ec2f296fc9f467b890e2e89d6ada3504ee;hp=bfb63e48ddd5d0d9ac0bc096b3604d3e6d9e640d;hb=c2d0d0dd1f069749e1ee19e5203af048e0b26f1c;hpb=65173f9717220115340c919eb746bc13386ee902

diff --git a/model.cc b/model.cc
index bfb63e4..152e36e 100644
--- a/model.cc
+++ b/model.cc
@@ -1770,7 +1770,7 @@ bool ModelChecker::r_modification_order(ModelAction *curr, const rf_type *rf)
 					if (prevrf) {
 						if (!prevrf->equals(rf))
 							added = mo_graph->addEdge(prevrf, rf) || added;
-					} else if (!prevrf->equals(rf)) {
+					} else if (!prevrf_promise->equals(rf)) {
 						added = mo_graph->addEdge(prevrf_promise, rf) || added;
 					}
 				}