X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=05cdf5ccb54b2f41ee4e45519e477ce0e9021a1b;hb=e1430f3d41e01fca5b878fc5909cf1c871c12f0e;hp=f26ab55b5608da6a97d90f5015e2db7c28c5fe50;hpb=24ac8e855acce4248271ca4a13f0dad8e74a96a4;p=model-checker.git

diff --git a/model.h b/model.h
index f26ab55..05cdf5c 100644
--- a/model.h
+++ b/model.h
@@ -48,6 +48,8 @@ public:
 	Thread *get_thread(thread_id_t tid) { return thread_map[tid]; }
 
 	void assign_id(Thread *t);
+
+	int switch_to_master(ModelAction *act);
 private:
 	int used_thread_id;
 	class ModelAction *current_action;