From 7d4142d82bfa30baa4452430268a9a337eff3fbf Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 15 Apr 2013 19:17:53 -0700
Subject: [PATCH] execution: add 'const'

---
 execution.cc | 3 ++-
 execution.h  | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

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;
diff --git a/execution.h b/execution.h
index 9ae0b4f..6810fee 100644
--- a/execution.h
+++ b/execution.h
@@ -88,7 +88,7 @@ public:
 	void check_promises_thread_disabled();
 	bool isfeasibleprefix() const;
 
-	action_list_t * get_actions_on_obj(void * obj, thread_id_t tid);
+	action_list_t * get_actions_on_obj(void * obj, thread_id_t tid) const;
 	ModelAction * get_last_action(thread_id_t tid) const;
 
 	bool check_action_enabled(ModelAction *curr);
-- 
2.34.1