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() {