model: wire up rest of release seq. resolution backtracking

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index d5dc42266769004d542d72f472f6e1029c1a7e5c..a8268cf8740c05fe32c86fe213b9f1d4d095f178 100644 (file)
--- a/model.h
+++ b/model.h
@@ -152,6 +152,7 @@ private:
        void reset_to_initial_state();
        bool resolve_promises(ModelAction *curr);
        void compute_promises(ModelAction *curr);
+       void compute_relseq_breakwrites(ModelAction *curr);
 
        void check_curr_backtracking(ModelAction * curr);
        void add_action_to_lists(ModelAction *act);