From 73bb3e4352a36b8f0861a96d20ef721708dc1930 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 6 Jun 2021 16:32:49 -0700
Subject: [PATCH] #5324

---
 src/sat/smt/euf_solver.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/sat/smt/euf_solver.cpp b/src/sat/smt/euf_solver.cpp
index e6ff53e93..9d3cc9716 100644
--- a/src/sat/smt/euf_solver.cpp
+++ b/src/sat/smt/euf_solver.cpp
@@ -153,7 +153,6 @@ namespace euf {
         m_unhandled_functions.push_back(f);
         m_trail.push(push_back_vector<func_decl_ref_vector>(m_unhandled_functions));
         IF_VERBOSE(0, verbose_stream() << mk_pp(f, m) << " not handled\n");
-        SASSERT(false);
     }
 
     void solver::init_search() {