diff options
| -rw-r--r-- | src/smt/boolean_terms.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/smt/boolean_terms.cpp b/src/smt/boolean_terms.cpp index 80518fcdf..a7fb09432 100644 --- a/src/smt/boolean_terms.cpp +++ b/src/smt/boolean_terms.cpp @@ -649,9 +649,6 @@ Node BooleanTermConverter::rewriteBooleanTermsRec(TNode top, theory::TheoryId pa goto next_worklist; } switch(k) { - case kind::LAMBDA: - Unreachable("not expecting a LAMBDA in boolean-term conversion: %s", top.toString().c_str()); - case kind::BOUND_VAR_LIST: result.top() << top; worklist.pop(); |