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;
+}
 }