From 871d78fbf871abe0a955d2978df703d81ed0875d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 23 Aug 2016 15:34:58 -0700
Subject: [PATCH] fix(library/tactic/simplifier/simplifier): memory leaks at
 simplifier

---
 src/library/tactic/simplifier/simplifier.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/library/tactic/simplifier/simplifier.cpp b/src/library/tactic/simplifier/simplifier.cpp
index e0caf36652..8c4fff6282 100644
--- a/src/library/tactic/simplifier/simplifier.cpp
+++ b/src/library/tactic/simplifier/simplifier.cpp
@@ -1468,9 +1468,11 @@ void initialize_simplifier() {
 void finalize_simplifier() {
     delete g_simplify_canonize_subsingletons;
     delete g_simplify_canonize_instances_fixed_point;
+    delete g_simplify_canonize_proofs_fixed_point;
     delete g_simplify_lift_eq;
     delete g_simplify_topdown;
     delete g_simplify_theory;
+    delete g_simplify_unsafe_nary;
     delete g_simplify_rewrite;
     delete g_simplify_user_extensions;
     delete g_simplify_contextual;