X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.h;h=6810fee665a6b018cbec1c353b12f22667a8c42e;hb=7d4142d82bfa30baa4452430268a9a337eff3fbf;hp=9ae0b4f3e6b3f67d578562f07522742493894ef2;hpb=92dd847e38280a3bb0ec93781c47173a3848f1d7;p=model-checker.git

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);