goto_programt::output: add missing newline

kroening · kroening · commit 4744a459a344 · 2021-11-05T15:58:37.000Z
diff --git a/src/goto-programs/goto_program.cpp b/src/goto-programs/goto_program.cpp
@@ -129,7 +129,7 @@ std::ostream &goto_programt::output_instruction(
       // fallthrough
     }
 
-    out << "OTHER " << format(instruction.get_other());
+    out << "OTHER " << format(instruction.get_other()) << '\n';
     break;
 
   case SET_RETURN_VALUE:

Original file line number	Diff line number	Diff line change
`@@ -129,7 +129,7 @@ std::ostream &goto_programt::output_instruction(`
`129`	`129`	`// fallthrough`
`130`	`130`	`}`
`131`	`131`
`132`		`- out << "OTHER " << format(instruction.get_other());`
	`132`	`+ out << "OTHER " << format(instruction.get_other()) << '\n';`
`133`	`133`	`break;`
`134`	`134`
`135`	`135`	`case SET_RETURN_VALUE:`