diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-09-05 07:57:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-05 07:57:40 +0200 |
| commit | 287785c8c2fe8031489bdf2d9f56506a8dfe3b48 (patch) | |
| tree | c6cad1e3786ca34963bce597b61163dc9cb110cb /src/printer | |
| parent | 29e0da43933f8b388f3317baf522cb9d32affef2 (diff) | |
Remove support for conversions between uint32/uint16 and string. (#1069)
* Remove support for conversions between uint32/uint16 and string.
* Temporarily disable regression.
Diffstat (limited to 'src/printer')
| -rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index aa9c17e5a..2f2a6ff18 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -451,10 +451,6 @@ void Smt2Printer::toStream(std::ostream& out, TNode n, case kind::STRING_SUFFIX: out << "str.suffixof "; break; case kind::STRING_ITOS: out << "int.to.str "; break; case kind::STRING_STOI: out << "str.to.int "; break; - case kind::STRING_U16TOS: out << "u16.to.str "; break; - case kind::STRING_STOU16: out << "str.to.u16 "; break; - case kind::STRING_U32TOS: out << "u32.to.str "; break; - case kind::STRING_STOU32: out << "str.to.u32 "; break; case kind::STRING_TO_REGEXP: out << "str.to.re "; break; case kind::REGEXP_CONCAT: out << "re.++ "; break; case kind::REGEXP_UNION: out << "re.union "; break; @@ -939,10 +935,6 @@ static string smtKindString(Kind k) throw() { case kind::STRING_SUFFIX: return "str.suffixof" ; case kind::STRING_ITOS: return "int.to.str" ; case kind::STRING_STOI: return "str.to.int" ; - case kind::STRING_U16TOS: return "u16.to.str" ; - case kind::STRING_STOU16: return "str.to.u16" ; - case kind::STRING_U32TOS: return "u32.to.str" ; - case kind::STRING_STOU32: return "str.to.u32" ; case kind::STRING_IN_REGEXP: return "str.in.re"; case kind::STRING_TO_REGEXP: return "str.to.re"; case kind::REGEXP_CONCAT: return "re.++"; |