Applied linter

Enrico Steffinlongo · thomasspriggs · commit ee4c7d70adcc · 2023-12-04T23:09:58.000Z
diff --git a/src/goto-programs/goto_convert.cpp b/src/goto-programs/goto_convert.cpp
@@ -320,7 +320,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

Original file line number	Diff line number	Diff line change
`@@ -320,7 +320,7 @@ void goto_convertt::finish_gotos(goto_programt &dest, const irep_idt &mode)`
`320`	`320`	`inputs.label_scope_index = label_target;`
`321`	`321`	`inputs.end_scope_index = intersection_result.common_ancestor;`
`322`	`322`	`build_declaration_hops(dest, label_flags, inputs);`
`323`		`- //WATCHVAR(i.get_target()->to_string());`
	`323`	`+ // WATCHVAR(i.get_target()->to_string());`
`324`	`324`	`}`
`325`	`325`	`}`
`326`	`326`	`else`