X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=e92137d1c17b6222f867cd27cfdc568625dd9bd2;hp=9e0b34ba18b25cf642a92dea56321763c23b48ba;hb=f5029d07e4fad5921f60108f5632fb2a5e4a52fb;hpb=9eee54de6cd97a5a58f3185de0c4635123d398b2

diff --git a/model.h b/model.h
index 9e0b34ba..e92137d1 100644
--- a/model.h
+++ b/model.h
@@ -113,6 +113,7 @@ public:
 	void remove_thread(Thread *t);
 	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;