X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.cc;h=f2c50c4321c67cd83da4c905ac1bcd652307b4a0;hb=d28d1a3b7aafbcd2caf80de26721293126830fa8;hp=e01181af486e3b518d2bddcb7b78003f7c9b6a68;hpb=d590c23e98d4ad4da4df6eda33cbdb04c29c25ea;p=model-checker.git

diff --git a/execution.cc b/execution.cc
index e01181a..f2c50c4 100644
--- a/execution.cc
+++ b/execution.cc
@@ -2643,7 +2643,7 @@ void ModelExecution::dumpGraph(char *filename) const
 	mo_graph->dumpNodes(file);
 	ModelAction **thread_array = (ModelAction **)model_calloc(1, sizeof(ModelAction *) * get_num_threads());
 
-	for (action_list_t::iterator it = action_trace.begin(); it != action_trace.end(); it++) {
+	for (action_list_t::const_iterator it = action_trace.begin(); it != action_trace.end(); it++) {
 		ModelAction *act = *it;
 		if (act->is_read()) {
 			mo_graph->dot_print_node(file, act);