fix(frontends/lean/elaborator_context): memory leak

leanprover · Jan 27, 2015 · 2a5658e · 2a5658e
1 parent e2c41fc
commit 2a5658e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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;
 }
 }