From 32e654a5b04567bc88cd0746e14c8e4aec040375 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 18 Sep 2012 10:39:44 -0700
Subject: [PATCH] model: fixup r_modification_order

Bugfix thanks to Brian D.
---
 model.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/model.cc b/model.cc
index d8ae7ea4..766e3694 100644
--- a/model.cc
+++ b/model.cc
@@ -652,7 +652,7 @@ bool ModelChecker::r_modification_order(ModelAction *curr, const ModelAction *rf
 			 */
 			if (act->happens_before(curr) && act != curr) {
 				if (act->is_write()) {
-					if (rf != act && act != curr) {
+					if (rf != act) {
 						mo_graph->addEdge(act, rf);
 						added = true;
 					}
@@ -663,7 +663,6 @@ bool ModelChecker::r_modification_order(ModelAction *curr, const ModelAction *rf
 						added = true;
 					}
 				}
-
 				break;
 			}
 		}
-- 
2.34.1