From 2c8e9aeb9cc6ffa334e6e262c7c56d9941d3fb90 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 21 Aug 2017 15:23:52 -0700 Subject: [PATCH] another crash fix Signed-off-by: Nikolaj Bjorner --- src/model/model_core.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/model/model_core.cpp b/src/model/model_core.cpp index 3d9de1ba1..5eb1eb00d 100644 --- a/src/model/model_core.cpp +++ b/src/model/model_core.cpp @@ -90,10 +90,10 @@ void model_core::register_decl(func_decl * d, func_interp * fi) { void model_core::unregister_decl(func_decl * d) { decl2expr::obj_map_entry * ec = m_interp.find_core(d); if (ec && ec->get_data().m_value != 0) { + m_manager.dec_ref(ec->get_data().m_key); + m_manager.dec_ref(ec->get_data().m_value); m_interp.remove(d); m_const_decls.erase(d); - m_manager.dec_ref(ec->get_data().m_key); - m_manager.dec_ref(ec->get_data().m_value); return; }