diff --git a/src/frontends/lean/elaborator_context.cpp b/src/frontends/lean/elaborator_context.cpp
index 8d92aaa28..a00c2acc7 100644
--- a/src/frontends/lean/elaborator_context.cpp
+++ b/src/frontends/lean/elaborator_context.cpp
@@ -82,5 +82,6 @@ void finalize_elaborator_context() {
     delete g_elaborator_local_instances;
     delete g_elaborator_ignore_instances;
     delete g_elaborator_flycheck_goals;
+    delete g_elaborator_fail_missing_field;
 }
 }