From e6145fa6df997eae552848914b9ff6f485e18fc7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 21 Aug 2017 14:53:16 -0700 Subject: [PATCH] fix crash Signed-off-by: Nikolaj Bjorner --- src/model/model_core.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/model/model_core.cpp b/src/model/model_core.cpp index 2f6137172..3d9de1ba1 100644 --- a/src/model/model_core.cpp +++ b/src/model/model_core.cpp @@ -99,9 +99,9 @@ void model_core::unregister_decl(func_decl * d) { decl2finterp::obj_map_entry * ef = m_finterp.find_core(d); if (ef && ef->get_data().m_value != 0) { + m_manager.dec_ref(ef->get_data().m_key); dealloc(ef->get_data().m_value); m_finterp.remove(d); m_func_decls.erase(d); - m_manager.dec_ref(ef->get_data().m_key); } }