From 2a5658ebe28ad3f7b3be13fdac6213a1a4cf000d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 26 Jan 2015 16:08:51 -0800 Subject: [PATCH] fix(frontends/lean/elaborator_context): memory leak --- src/frontends/lean/elaborator_context.cpp | 1 + 1 file changed, 1 insertion(+) 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; } }