(1) structure code a little better

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index 1a2f6a145715fb7b8318eca7522048475ef9b436..bcb9d61a5e6d02e317a9428395b451b7e6285aec 100644 (file)
--- a/model.h
+++ b/model.h
@@ -116,6 +116,8 @@ private:
        bool resolve_promises(ModelAction *curr);
        void compute_promises(ModelAction *curr);
 
+
+       void check_curr_backtracking(ModelAction * curr);
        void add_action_to_lists(ModelAction *act);
        ModelAction * get_last_action(thread_id_t tid);
        ModelAction * get_last_seq_cst(const void *location);