fix debug build

Z3Prover · Dec 20, 2023 · 6246c65 · 6246c65
1 parent c9c53b7
commit 6246c65
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/smt/smt_enode.cpp b/src/smt/smt_enode.cpp
@@ -329,7 +329,6 @@ namespace smt {
     tmp_enode::tmp_enode():
         m_capacity(0),
         m_enode_data(nullptr) {
-        SASSERT(m_app.get_app()->get_decl() == 0);
         set_capacity(5);
     }