X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=aac968a9f14077ca17953f934c82881266dc781b;hb=a42f201a4e0553616e34433972b7b719e6c8f24a;hp=8cfd66f7e3d9dc896e9531fe884e6f74d9ea52a3;hpb=cc60d0e08cbe3bb8060bc535884574e347666a92;p=model-checker.git

diff --git a/model.h b/model.h
index 8cfd66f..aac968a 100644
--- a/model.h
+++ b/model.h
@@ -75,7 +75,7 @@ public:
 
 	void set_current_action(ModelAction *act) { current_action = act; }
 	void check_current_action(void);
-	void print_trace(void);
+	void print_summary(void);
 	Thread * schedule_next_thread();
 
 	int add_thread(Thread *t);
@@ -110,6 +110,4 @@ private:
 
 extern ModelChecker *model;
 
-int thread_switch_to_master(ModelAction *act);
-
 #endif /* __MODEL_H__ */