diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-02-02 17:03:10 -0800 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-02-02 19:03:10 -0600 |
| commit | 1b24f3f0fd5fdd4163a46689949fa8a5c60f3322 (patch) | |
| tree | d312cd6b42f002a4545e819bb097ada72d6249e0 /src/util/sexpr.cpp | |
| parent | ae5c1a5c3a9c6eb7d1af1a4ddbcb841cf7ce4c70 (diff) | |
Restoring ostream format. Resolves a few CIDs 1362780. (#1543)
Diffstat (limited to 'src/util/sexpr.cpp')
| -rw-r--r-- | src/util/sexpr.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/util/sexpr.cpp b/src/util/sexpr.cpp index 61dbccbee..504d58b0e 100644 --- a/src/util/sexpr.cpp +++ b/src/util/sexpr.cpp @@ -30,6 +30,7 @@ #include "base/cvc4_assert.h" #include "options/set_language.h" +#include "util/ostream_util.h" #include "util/smt2_quote_string.h" namespace CVC4 { @@ -219,6 +220,8 @@ void SExpr::toStream(std::ostream& out, const SExpr& sexpr, void SExpr::toStreamRec(std::ostream& out, const SExpr& sexpr, OutputLanguage language, int indent) { + StreamFormatScope scope(out); + if (sexpr.isInteger()) { out << sexpr.getIntegerValue(); } else if (sexpr.isRational()) { |