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

diff --git a/model.h b/model.h
index dd5df93..4dbe557 100644
--- a/model.h
+++ b/model.h
@@ -54,7 +54,6 @@ public:
 
 	Thread * get_thread(thread_id_t tid) const;
 	Thread * get_thread(const ModelAction *act) const;
-	int get_promise_number(const Promise *promise) const;
 
 	bool is_enabled(Thread *t) const;
 	bool is_enabled(thread_id_t tid) const;