model: privatize check_current_action()

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index dbf0654fc21b22aec59cb1c1d42ec6fef094a451..6d3827c75d32d015bf98f5ff6f345041a1631068 100644 (file)
--- a/model.h
+++ b/model.h
@@ -39,8 +39,6 @@ public:
        /** @returns the context for the main model-checking system thread */
        ucontext_t * get_system_context() { return &system_context; }
 
-       void check_current_action(void);
-
        /** Prints an execution summary with trace information. */
        void print_summary();
 
@@ -84,6 +82,7 @@ private:
         * @param act The ModelAction created by the user-thread action
         */
        void set_current_action(ModelAction *act) { current_action = act; }
+       void check_current_action();
 
        bool take_step();