From 6246c6517d8743185d8e0b73b7e1a799351ba176 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Wed, 20 Dec 2023 18:30:53 +0000
Subject: [PATCH] fix debug build
---
src/smt/smt_enode.cpp | 1 -
1 file changed, 1 deletion(-)
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);
}