From: Brian Norris <banorris@uci.edu>
Date: Fri, 10 Aug 2012 22:27:38 +0000 (-0700)
Subject: model: privatize check_current_action()
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f8644870d86a25fc9c805c3a499b34eae4667b69;p=cdsspec-compiler.git

model: privatize check_current_action()
---

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();