mistake

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 7e8211daf523f37e2c110d3852912c203decb331..02f290d0a4e29efe8954eaf56f1075955182e9ea 100644 (file)
--- 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);
 }