diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-09-17 19:49:51 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-18 00:49:51 +0000 |
commit | 84a95435ef3d92ea6ee969a574b9fa98d569f93f (patch) | |
tree | ab41ba67dec4a155df96c47d81461dbb48307a57 | |
parent | 57de807335402741c6371f66cbdd3d3f47863341 (diff) |
Fix printer for datatype udpater (#7208)
-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 b92d8fa43..6217276b1 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -786,6 +786,7 @@ void Smt2Printer::toStream(std::ostream& out, break; case kind::APPLY_UPDATER: { + stillNeedToPrintParams = false; Node op = n.getOperator(); size_t index = DType::indexOf(op); const DType& dt = DType::datatypeOf(op); |