From f8644870d86a25fc9c805c3a499b34eae4667b69 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 10 Aug 2012 15:27:38 -0700 Subject: [PATCH] model: privatize check_current_action() --- model.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/model.h b/model.h index dbf0654..6d3827c 100644 --- 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(); -- 2.34.1