diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-27 17:32:40 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-27 22:32:40 +0000 |
commit | 23d43d39d17c739bc47799ba25bc6f2eae05faa1 (patch) | |
tree | e7f129a19bf3d0485cad77e52bca3f33871b8cd5 /src/printer/smt2 | |
parent | 145d58ae0146ba591cd0d5531208e78abd849019 (diff) |
Add internal support for datatype update (#6450)
Diffstat (limited to 'src/printer/smt2')
-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 014079b14..9f9492cec 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -919,6 +919,7 @@ void Smt2Printer::toStream(std::ostream& out, case kind::APPLY_TESTER: case kind::APPLY_SELECTOR: case kind::APPLY_SELECTOR_TOTAL: + case kind::APPLY_DT_UPDATE: case kind::PARAMETRIC_DATATYPE: break; // separation logic |