fix #4796

Z3Prover · Nov 16, 2020 · 36e9412 · 36e9412
1 parent 98db260
commit 36e9412
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/smt/smt_model_finder.cpp b/src/smt/smt_model_finder.cpp
@@ -2198,8 +2198,6 @@ namespace smt {
                     }
                     else {
                         SASSERT(is_quantifier(curr));
-                        SASSERT(is_lambda(curr));
-                        //UNREACHABLE(); // can't happen, the quantifier is supposed to be flat.
                     }
                 }
             }