From 47bd5e53e2e2630364cce105a83d180c2284c0c2 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 6 Feb 2015 14:24:10 -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 e11ad9a58..d4397f1bb 100644 --- a/src/library/tactic/rewrite_tactic.cpp +++ b/src/library/tactic/rewrite_tactic.cpp @@ -1121,6 +1121,7 @@ void initialize_rewrite_tactic() { void finalize_rewrite_tactic() { delete g_rewriter_max_iterations; + delete g_rewriter_syntactic; delete g_rewrite_tac; delete g_rewrite_unfold_name; delete g_rewrite_unfold_opcode;