model: fully utilize Promise nodes in CycleGraph

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 6685ab365c64179ff91c303cf19b8fd709da05c4..f8c2bc867946dc255b0cf2946e9c8f85c422b4d2 100644 (file)
--- a/model.h
+++ b/model.h
@@ -182,7 +182,6 @@ private:
        ModelAction * get_last_unlock(ModelAction *curr) const;
        void build_reads_from_past(ModelAction *curr);
        ModelAction * process_rmw(ModelAction *curr);
-       void post_r_modification_order(ModelAction *curr, const ModelAction *rf);
 
        template <typename rf_type>
        bool r_modification_order(ModelAction *curr, const rf_type *rf);