From 42c2f7eb1118bd8ff2665ed5b4e54b311a92aea0 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 4 Feb 2015 18:40:11 -0800
Subject: [PATCH] fix(library/tactic/rewrite_tactic): memory leak

---
 src/library/tactic/rewrite_tactic.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/library/tactic/rewrite_tactic.cpp b/src/library/tactic/rewrite_tactic.cpp
index f84fa9dc4e..9cc035fb11 100644
--- a/src/library/tactic/rewrite_tactic.cpp
+++ b/src/library/tactic/rewrite_tactic.cpp
@@ -841,6 +841,7 @@ void initialize_rewrite_tactic() {
 }
 
 void finalize_rewrite_tactic() {
+    delete g_rewriter_max_iterations;
     delete g_rewrite_tac;
     delete g_rewrite_unfold_name;
     delete g_rewrite_unfold_opcode;