X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=cc4fe284abed1c197682986f9faa4b375f8b6a88;hb=ef4cc3b6f1e19e873509877b8e0d096bbac31e53;hp=a5262d2b5c46e18e697cedf646cb0eb539fed3d6;hpb=e0d4c19ffcaf877eaac3a2b7324daae6c1fa7a25;p=model-checker.git

diff --git a/model.h b/model.h
index a5262d2..cc4fe28 100644
--- a/model.h
+++ b/model.h
@@ -117,6 +117,7 @@ public:
 	unsigned int get_num_threads() const;
 	Thread * get_current_thread() const;
 
+	void switch_from_master(Thread *thread);
 	uint64_t switch_to_master(ModelAction *act);
 	ClockVector * get_cv(thread_id_t tid) const;
 	ModelAction * get_parent_action(thread_id_t tid) const;