diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-03-27 16:54:46 -0500 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-03-27 17:15:13 -0500 |
| commit | 70a7ae4dc962e43c38cec19a5549673a46045d71 (patch) | |
| tree | 92b0cd3ae9714db86d0833ad1bda9b2a406bd910 /src/printer | |
| parent | abdb1691f287587f18801733e4ab7248167db1ca (diff) | |
adds new feature: re.loop
Diffstat (limited to 'src/printer')
| -rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index 6485670b5..406319339 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -347,6 +347,7 @@ void Smt2Printer::toStream(std::ostream& out, TNode n, case kind::REGEXP_PLUS: out << "re.+ "; break; case kind::REGEXP_OPT: out << "re.opt "; break; case kind::REGEXP_RANGE: out << "re.range "; break; + case kind::REGEXP_LOOP: out << "re.loop "; break; case kind::REGEXP_EMPTY: out << "re.nostr "; break; case kind::REGEXP_SIGMA: out << "re.allchar "; break; |