From 53c73505c5aed92401cfe02b669abaf8e6a30e32 Mon Sep 17 00:00:00 2001
From: Florian Schanda <florian@schanda.org.uk>
Date: Mon, 14 May 2018 13:43:42 +0100
Subject: [PATCH] Small change for more sensible line breaking in the output of
 get-model. (#1910)

---
 src/printer/smt2/smt2_printer.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp
index 27feea60e..af51ccd45 100644
--- a/src/printer/smt2/smt2_printer.cpp
+++ b/src/printer/smt2/smt2_printer.cpp
@@ -1951,7 +1951,7 @@ static void toStream(std::ostream& out,
       const Datatype& d = i->getDatatype();
       out << "(";
       toStream(out, d);
-      out << ")" << endl;
+      out << ")";
     }
     out << ")";
   }
@@ -1966,11 +1966,11 @@ static void toStream(std::ostream& out,
       const Datatype& d = i->getDatatype();
       out << "(" << maybeQuoteSymbol(d.getName()) << " ";
       toStream(out, d);
-      out << ")" << endl;
+      out << ")";
     }
     out << ")";
   }
-  out << ")";
+  out << ")" << endl;
 }
 
 static void toStream(std::ostream& out, const CommentCommand* c, Variant v)
-- 
2.30.2