From aaad9633fbf4c3dcf438874d714ce66f7d5be961 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 24 Oct 2014 14:40:36 -0700
Subject: [PATCH] fix(library/tactic/expr_to_tactic): memory leak

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

diff --git a/src/library/tactic/expr_to_tactic.cpp b/src/library/tactic/expr_to_tactic.cpp
index 52e82d01c..517477cd8 100644
--- a/src/library/tactic/expr_to_tactic.cpp
+++ b/src/library/tactic/expr_to_tactic.cpp
@@ -358,6 +358,8 @@ void initialize_expr_to_tactic() {
 }
 
 void finalize_expr_to_tactic() {
+    delete g_expr_list_cons;
+    delete g_expr_list_nil;
     delete g_tactic_expr_type;
     delete g_tactic_expr_builtin;
     delete g_tactic_expr_name;