From 4240d2152b14f8d5305ee524280cbb9a3a54e5ef Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 15 Apr 2013 23:23:25 -0700
Subject: [PATCH] execution: add const

---
 execution.cc | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/execution.cc b/execution.cc
index e038961..74fa43e 100644
--- a/execution.cc
+++ b/execution.cc
@@ -309,8 +309,8 @@ ModelAction * ModelExecution::get_last_fence_conflict(ModelAction *act) const
 		return NULL;
 
 	/* Skip past the release */
-	action_list_t *list = action_trace;
-	action_list_t::reverse_iterator rit;
+	const action_list_t *list = action_trace;
+	action_list_t::const_reverse_iterator rit;
 	for (rit = list->rbegin(); rit != list->rend(); rit++)
 		if (*rit == last_release)
 			break;
@@ -2581,9 +2581,9 @@ ModelAction * ModelExecution::get_uninitialized_action(const ModelAction *curr)
 	return act;
 }
 
-static void print_list(action_list_t *list)
+static void print_list(const action_list_t *list)
 {
-	action_list_t::iterator it;
+	action_list_t::const_iterator it;
 
 	model_print("---------------------------------------------------------------------\n");
 
-- 
2.34.1