diff options
Diffstat (limited to 'src/printer/smt2/smt2_printer.cpp')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index 5aff8ebba..1e36b211d 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -176,6 +176,9 @@ void Smt2Printer::toStream(std::ostream& out, TNode n, } else { out << "(...)"; } + if(n.getNumChildren() > 0) { + out << ' '; + } } for(TNode::iterator i = n.begin(), iend = n.end(); |