Applied linter

diffblue · Dec 4, 2023 · 8e32fbb · 8e32fbb
1 parent b9bcca0
commit 8e32fbb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/goto-programs/goto_convert.cpp b/src/goto-programs/goto_convert.cpp
@@ -321,7 +321,7 @@ void goto_convertt::finish_gotos(goto_programt &dest, const irep_idt &mode)
         inputs.label_scope_index = label_target;
         inputs.end_scope_index = intersection_result.common_ancestor;
         build_declaration_hops(dest, label_flags, inputs);
-        //WATCHVAR(i.get_target()->to_string());
+        // WATCHVAR(i.get_target()->to_string());
       }
     }
     else