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

diff --git a/model.h b/model.h
index 4dbe557..be53ec3 100644
--- a/model.h
+++ b/model.h
@@ -58,7 +58,6 @@ 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;