model: add const qualifier to get_thread()

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 8b7201f1b88c4edf98475e0ebeadc7ecd6fd6f32..8d8944d71ab27e59af1108e2a66debd3d6999596 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1713,7 +1713,7 @@ void ModelChecker::remove_thread(Thread *t)
  * @param tid The Thread's ID
  * @return A Thread reference
  */
-Thread * ModelChecker::get_thread(thread_id_t tid)
+Thread * ModelChecker::get_thread(thread_id_t tid) const
 {
        return thread_map->get(id_to_int(tid));
 }
@@ -1723,7 +1723,7 @@ Thread * ModelChecker::get_thread(thread_id_t tid)
  * @param act The ModelAction
  * @return A Thread reference
  */
-Thread * ModelChecker::get_thread(ModelAction *act)
+Thread * ModelChecker::get_thread(ModelAction *act) const
 {
        return get_thread(act->get_tid());
 }