X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=cfc652866da765899fa3e6f452b3403fa6bcc03b;hb=bf80445c97bd34afcfd208cc3ecb31edcd631bb6;hp=4dbe557222c40a0a7d92fb55227a202d54f069f6;hpb=144f1b806679fd9030147f554513d7fce36f65dc;p=model-checker.git

diff --git a/model.h b/model.h
index 4dbe557..cfc6528 100644
--- a/model.h
+++ b/model.h
@@ -58,13 +58,11 @@ public:
 	bool is_enabled(Thread *t) const;
 	bool is_enabled(thread_id_t tid) const;
 
-	thread_id_t get_next_id();
 	unsigned int get_num_threads() const;
 	Thread * get_current_thread() const;
 
 	void switch_from_master(Thread *thread);
 	uint64_t switch_to_master(ModelAction *act);
-	void check_promises_thread_disabled();
 
 	bool assert_bug(const char *msg, ...);
 	void assert_user_bug(const char *msg);