execution: add 'const'

[model-checker.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 0006c66c70a3acf89433bfd4013e03ad3f5b3e1c..dc1b6c53986725a9303a156fcc888c4bb7c8b456 100644 (file)
--- 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;