X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=03dafd11b1a0aa5493dcf8f1c62f549e788e7a74;hp=7b8a9c959ebf1f698e0c9a9cae0dbea585e055b8;hb=7d107019dd0d32d0803fb802fc318a57101707a1;hpb=055fb927ea688ec513508b0821e331558eea40d1;ds=sidebyside

diff --git a/model.h b/model.h
index 7b8a9c95..03dafd11 100644
--- a/model.h
+++ b/model.h
@@ -44,6 +44,7 @@ public:
 	Thread * get_thread(const ModelAction *act) const;
 
 	Thread * get_current_thread() const;
+	thread_id_t get_current_thread_id() const;
 
 	uint64_t switch_thread(ModelAction *act);