diff --git a/src/smt/smt_enode.cpp b/src/smt/smt_enode.cpp
index 4bcb4a41c..8fbf43d60 100644
--- 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);
     }