diff options
| author | Florian Schanda <florian@schanda.org.uk> | 2018-05-14 13:43:42 +0100 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-14 07:43:42 -0500 |
| commit | 53c73505c5aed92401cfe02b669abaf8e6a30e32 (patch) | |
| tree | 6ed52b69bb75689bd6c515369ec77330c9d8307b /src/printer | |
| parent | d74fae48252f04de4e72ed5337b1bf62c234d0fd (diff) | |
Small change for more sensible line breaking in the output of get-model. (#1910)
Diffstat (limited to 'src/printer')
| -rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 6 |
1 files 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) |