From 6aa11be6fd3b385da8554c4d377ef09b30d910c5 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 23 Aug 2016 15:36:46 -0700 Subject: [PATCH] fix(frontends/lean/inductive_cmds): memory leak --- src/frontends/lean/inductive_cmds.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/frontends/lean/inductive_cmds.cpp b/src/frontends/lean/inductive_cmds.cpp index 7c7c804dc1..c9b290e47a 100644 --- a/src/frontends/lean/inductive_cmds.cpp +++ b/src/frontends/lean/inductive_cmds.cpp @@ -540,6 +540,7 @@ void initialize_inductive_cmds() { g_tmp_prefix = new name(name::mk_internal_unique_name()); } -void finalize_inductive_cmds() {} - +void finalize_inductive_cmds() { + delete g_tmp_prefix; +} }