right fix for avoid rmw cycles... bad assumption in the cyclegraph

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index d47fe9677a78c57b0c6a8da46ac774b7749a7ef2..90180a993ecb065eeb062432b83342cc9fd785c4 100644 (file)
--- a/model.h
+++ b/model.h
@@ -189,7 +189,6 @@ private:
        bool failed_promise;
        bool too_many_reads;
        bool asserted;
-       bool rmw_cycle;
 };
 
 extern ModelChecker *model;