From d250cce527cfd4714658cf06e9807fa8d84013ff Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Fri, 5 Nov 2021 15:58:37 +0000
Subject: [PATCH] goto_programt::output: add missing newline

---
 regression/goto-instrument/inline_04/test.desc | 8 ++++----
 src/goto-programs/goto_program.cpp             | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/regression/goto-instrument/inline_04/test.desc b/regression/goto-instrument/inline_04/test.desc
index 49195dfa496..a6b52b2a4a1 100644
--- a/regression/goto-instrument/inline_04/test.desc
+++ b/regression/goto-instrument/inline_04/test.desc
@@ -4,9 +4,9 @@ main.c
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
-g[\(].*[\)]$
-h[\(].*[\)]$
+ g[\(].*[\)]$
+ h[\(].*[\)]$
 --
-f[\(].*[\)]$
-other_func[\(].*[\)]$
+ f[\(].*[\)]$
+ other_func[\(].*[\)]$
 ^warning: ignoring
diff --git a/src/goto-programs/goto_program.cpp b/src/goto-programs/goto_program.cpp
index cf00aeec64a..165f9fcfdac 100644
--- 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: