diff --git a/src/goto-programs/goto_convert.cpp b/src/goto-programs/goto_convert.cpp
index be765796ebb..286938c6115 100644
--- 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