diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-25 00:30:56 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-24 22:30:56 -0800 |
commit | 03979b02fb0296aefdfeb0c00e6eb4ea5ac01cc8 (patch) | |
tree | e95a807854df48399f9761c218b12eecc9e20093 /src/printer | |
parent | 2576297452114b9bc916c84a748a5337e595a323 (diff) |
Allow printing of null node in let binder (#5523)
Diffstat (limited to 'src/printer')
-rw-r--r-- | src/printer/let_binding.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
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 |