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

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