X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=3dbd562755e41ece4f9836b9e6fa53a9c52c313f;hb=7f6f38735411f44357208a952278a419454b52b2;hp=62c762711bcb8300765483ee075ec9747d412d5f;hpb=81ea453e58cbb85fddff3aa8919dfbc59c3140eb;p=model-checker.git

diff --git a/model.h b/model.h
index 62c7627..3dbd562 100644
--- a/model.h
+++ b/model.h
@@ -72,8 +72,8 @@ public:
 
 	void add_thread(Thread *t);
 	void remove_thread(Thread *t);
-	Thread * get_thread(thread_id_t tid);
-	Thread * get_thread(ModelAction *act);
+	Thread * get_thread(thread_id_t tid) const;
+	Thread * get_thread(ModelAction *act) const;
 
 	thread_id_t get_next_id();
 	int get_num_threads();