From 5b0389615beb53853a313309fcb3af62a22866b7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 19 Jan 2022 10:10:36 +0100 Subject: [PATCH] #5780 --- src/ast/recfun_decl_plugin.cpp | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/ast/recfun_decl_plugin.cpp b/src/ast/recfun_decl_plugin.cpp index 96ddc7162..9a8c59ae9 100644 --- a/src/ast/recfun_decl_plugin.cpp +++ b/src/ast/recfun_decl_plugin.cpp @@ -410,10 +410,7 @@ namespace recfun { promise_def plugin::ensure_def(symbol const& name, unsigned n, sort *const * params, sort * range, bool is_generated) { def* d = u().decl_fun(name, n, params, range, is_generated); - def* d2 = nullptr; - if (m_defs.find(d->get_decl(), d2)) { - dealloc(d2); - } + erase_def(d->get_decl()); m_defs.insert(d->get_decl(), d); return promise_def(&u(), d); }