From 36e94122524ec7833758c1c6e10b188d128e333a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 16 Nov 2020 11:19:54 -0800
Subject: [PATCH] fix #4796

---
 src/smt/smt_model_finder.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/smt/smt_model_finder.cpp b/src/smt/smt_model_finder.cpp
index f5d9d6100..12e3c09ea 100644
--- 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.
                     }
                 }
             }