diff options
| -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); |