X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.cc;h=dc1b6c53986725a9303a156fcc888c4bb7c8b456;hb=7d4142d82bfa30baa4452430268a9a337eff3fbf;hp=0006c66c70a3acf89433bfd4013e03ad3f5b3e1c;hpb=92dd847e38280a3bb0ec93781c47173a3848f1d7;p=model-checker.git

diff --git a/execution.cc b/execution.cc
index 0006c66..dc1b6c5 100644
--- a/execution.cc
+++ b/execution.cc
@@ -128,7 +128,8 @@ static SnapVector<action_list_t> * get_safe_ptr_vect_action(HashTable<void *, Sn
 	return tmp;
 }
 
-action_list_t * ModelExecution::get_actions_on_obj(void * obj, thread_id_t tid) {
+action_list_t * ModelExecution::get_actions_on_obj(void * obj, thread_id_t tid) const
+{
 	SnapVector<action_list_t> *wrv=obj_thrd_map->get(obj);
 	if (wrv==NULL)
 		return NULL;