diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-06-28 13:53:36 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-28 13:53:36 -0500 |
commit | e799ab0164722e8a4f192ee13223d0eeec6ec004 (patch) | |
tree | 5ff7c46d2f0f6ff2a2a4f3655425b49e86bd18a5 /src/printer/smt2 | |
parent | d83f8bebccffdb677652706f4eb3a2fff056587c (diff) |
Do not rename uninterpreted constants (#2098)
Diffstat (limited to 'src/printer/smt2')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index f6d3cc743..0e1df15b5 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -267,7 +267,9 @@ void Smt2Printer::toStream(std::ostream& out, case kind::UNINTERPRETED_CONSTANT: { const UninterpretedConstant& uc = n.getConst<UninterpretedConstant>(); - out << '@' << uc; + std::stringstream ss; + ss << '@' << uc; + out << maybeQuoteSymbol(ss.str()); break; } |