diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2015-03-28 12:04:33 -0500 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2015-03-28 12:04:33 -0500 |
commit | 8b79e00ea9baf7fec7a2ce390827065ba7e60fcf (patch) | |
tree | 52e941ad34a30ecaae7b7dad31fc69d7729a03cd /src/printer | |
parent | 4247dc59f1219695750a33db776ae02b244cee7f (diff) |
printer change for string smtlib2
Diffstat (limited to 'src/printer')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index 999dc870f..a98a106a1 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -226,13 +226,11 @@ void Smt2Printer::toStream(std::ostream& out, TNode n, //char c = String::convertUnsignedIntToChar(s[i]); char c = s[i]; if(c == '"') { - if(d_variant == z3str_variant || d_variant == smt2_0_variant) { + if(d_variant == smt2_0_variant) { out << "\\\""; } else { out << "\"\""; } - } else if(c == '\\' && (d_variant == z3str_variant || d_variant == smt2_0_variant)) { - out << "\\\\"; } else { out << c; } |