From: Brian Demsky <bdemsky@uci.edu>
Date: Tue, 9 Oct 2012 00:20:20 +0000 (-0700)
Subject: mistake
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=9c42c31b487bf7319dba4d43e417e29420306977

mistake
---

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);
 }