From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sat, 18 Sep 2021 00:49:51 +0000 (-0500)
Subject: Fix printer for datatype udpater (#7208)
X-Git-Tag: cvc5-1.0.0~1197
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=84a95435ef3d92ea6ee969a574b9fa98d569f93f;p=cvc5.git

Fix printer for datatype udpater (#7208)
---

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