X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=6b4e2c740ab50b7b55f624b7bda05a4c9ad72678;hb=ea16f9a5121a4e58881a88c0d29fca9138e72464;hp=3b793cff0c443f6f70f6d156e6ec456f40fdbe67;hpb=523a941d19374d4487e504db519114df07d9b480;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index 3b793cf..6b4e2c7 100644
--- a/threads.cc
+++ b/threads.cc
@@ -174,7 +174,7 @@ Thread::~Thread()
 }
 
 /** @return The thread_id_t corresponding to this Thread object. */
-thread_id_t Thread::get_id()
+thread_id_t Thread::get_id() const
 {
 	return id;
 }