remove assert

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 11, 2019 · c73a87c · c73a87c
1 parent 779183d
commit c73a87c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/ast/array_decl_plugin.cpp b/src/ast/array_decl_plugin.cpp
@@ -259,7 +259,6 @@ func_decl* array_decl_plugin::mk_select(unsigned arity, sort * const * domain) {
             std::stringstream strm;
             strm << "domain sort " << sort_ref(domain[i+1], *m_manager) << " and parameter ";
             strm << parameter_pp(parameters[i], *m_manager) << " do not match";
-            SASSERT(false);
             m_manager->raise_exception(strm.str());
             return nullptr;
         }
@@ -303,7 +302,6 @@ func_decl * array_decl_plugin::mk_store(unsigned arity, sort * const * domain) {
         if (!m_manager->compatible_sorts(srt1, srt2)) {
             std::stringstream strm;
             strm << "domain sort " << sort_ref(srt2, *m_manager) << " and parameter sort " << sort_ref(srt1, *m_manager) << " do not match";
-            SASSERT(false);
             m_manager->raise_exception(strm.str());
             UNREACHABLE();
             return nullptr;