diff options
| -rw-r--r-- | libs/gtkmm2ext/gtk_ui.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/gtkmm2ext/gtk_ui.cc b/libs/gtkmm2ext/gtk_ui.cc index 067f712198..29818d4e9e 100644 --- a/libs/gtkmm2ext/gtk_ui.cc +++ b/libs/gtkmm2ext/gtk_ui.cc @@ -518,7 +518,7 @@ UI::dump_errors (std::ostream& ostr, size_t limit) if (limit > 0) { /* reverse listing, Errors only */ - for (list<string>::const_reverse_iterator i = error_stack.rbegin(); i != error_stack.rend(); ++i) { + for (list<string>::reverse_iterator i = error_stack.rbegin(); i != error_stack.rend(); ++i) { if ((*i).substr (0, 9) == X_("WARNING: ") || (*i).substr (0, 6) == X_("INFO: ")) { continue; } |