threads: add const

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index 3b793cff0c443f6f70f6d156e6ec456f40fdbe67..6b4e2c740ab50b7b55f624b7bda05a4c9ad72678 100644 (file)
--- 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;
 }