Apply automatic changes

esbmc · Feb 13, 2024 · d21c22a · d21c22a
1 parent 4f85798
commit d21c22a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/goto-programs/goto_program.h b/src/goto-programs/goto_program.h
@@ -341,7 +341,8 @@ class goto_programt
         type(NO_INSTRUCTION_TYPE),
         inductive_step_instruction(false),
         inductive_assertion(false),
-        sliceable(false), //< This can be anything. Let's hope that the user will invoke a `make_`
+        sliceable(
+          false), //< This can be anything. Let's hope that the user will invoke a `make_`
         location_number(0),
         loop_number(unsigned(0)),
         target_number(unsigned(-1))