diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-02-24 14:45:06 -0600 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-02-26 11:30:05 -0600 |
commit | bf17613c183531217ff5f95741c2216cfb67ee36 (patch) | |
tree | e48f1de8a80fe4425d26576d43b81d1b6bbfb234 /src/printer | |
parent | c8a989214aaca61697b08c48102971a86c2e399d (diff) |
smt-lib syntax change: str.contain -> str.contains; add some prefix syntax for cvc format
Diffstat (limited to 'src/printer')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index 80dcc8248..a2a925d13 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -331,7 +331,7 @@ void Smt2Printer::toStream(std::ostream& out, TNode n, case kind::STRING_SUBSTR_TOTAL: case kind::STRING_SUBSTR: out << "str.substr "; break; case kind::STRING_CHARAT: out << "str.at "; break; - case kind::STRING_STRCTN: out << "str.contain "; break; + case kind::STRING_STRCTN: out << "str.contains "; break; case kind::STRING_STRIDOF: out << "str.indexof "; break; case kind::STRING_STRREPL: out << "str.replace "; break; case kind::STRING_PREFIX: out << "str.prefixof "; break; |