diff options
Diffstat (limited to 'src/printer/let_binding.cpp')
| -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 |