From 9c42c31b487bf7319dba4d43e417e29420306977 Mon Sep 17 00:00:00 2001
From: Brian Demsky <bdemsky@uci.edu>
Date: Mon, 8 Oct 2012 17:20:20 -0700
Subject: [PATCH] mistake

---
 model.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/model.cc b/model.cc
index 7e8211d..02f290d 100644
--- a/model.cc
+++ b/model.cc
@@ -1312,9 +1312,8 @@ bool ModelChecker::mo_may_allow(const ModelAction * writer, const ModelAction *r
 
 	if (first_write_after_read==NULL)
 		return true;
-	return true;
 
-	//return !mo_graph->checkReachable(first_write_after_read, writer);
+	return !mo_graph->checkReachable(first_write_after_read, writer);
 }
 
 
-- 
2.34.1