show_loop_ids: use a ranged for

Author: kroening

src/goto-programs/loop_ids.cpp

@@ -100,15 +100,16 @@ void show_loop_ids(
   {
     case ui_message_handlert::uit::PLAIN:
     case ui_message_handlert::uit::XML_UI:
-      forall_goto_functions(it, goto_functions)
-        show_loop_ids(ui, it->second.body);
+      for(const auto &f: goto_functions.function_map)
+        show_loop_ids(ui, f.second.body);
       break;
+
     case ui_message_handlert::uit::JSON_UI:
       json_objectt json_result;
       json_arrayt &loops=json_result["loops"].make_array();
 
-      forall_goto_functions(it, goto_functions)
-        show_loop_ids_json(ui, it->second.body, loops);
+      for(const auto &f : goto_functions.function_map)
+        show_loop_ids_json(ui, f.second.body, loops);
 
       std::cout << ",\n" << json_result;
       break;