X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=02f290d0a4e29efe8954eaf56f1075955182e9ea;hb=9c42c31b487bf7319dba4d43e417e29420306977;hp=7e8211daf523f37e2c110d3852912c203decb331;hpb=d27984bb297795f4e9a4531e2730d8188a799e89;p=model-checker.git

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