From: Florian Schanda <florian@schanda.org.uk>
Date: Mon, 14 May 2018 12:43:42 +0000 (+0100)
Subject: Small change for more sensible line breaking in the output of get-model. (#1910)
X-Git-Tag: cvc5-1.0.0~5059
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=53c73505c5aed92401cfe02b669abaf8e6a30e32;p=cvc5.git

Small change for more sensible line breaking in the output of get-model. (#1910)
---

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)