From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 25 Nov 2020 06:30:56 +0000 (-0600)
Subject: Allow printing of null node in let binder (#5523)
X-Git-Tag: cvc5-1.0.0~2554
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=03979b02fb0296aefdfeb0c00e6eb4ea5ac01cc8;p=cvc5.git

Allow printing of null node in let binder (#5523)
---

diff --git a/src/printer/let_binding.cpp b/src/printer/let_binding.cpp
index 439037b64..2efc98318 100644
--- a/src/printer/let_binding.cpp
+++ b/src/printer/let_binding.cpp
@@ -30,8 +30,7 @@ uint32_t LetBinding::getThreshold() const { return d_thresh; }
 
 void LetBinding::process(Node n)
 {
-  Assert(!n.isNull());
-  if (d_thresh == 0)
+  if (n.isNull() || d_thresh == 0)
   {
     // value of 0 means do not introduce let
     return;
@@ -42,7 +41,6 @@ void LetBinding::process(Node n)
 
 void LetBinding::letify(Node n, std::vector<Node>& letList)
 {
-  Assert(!n.isNull());
   // first, push the context
   pushScope();
   // process the node