From f10424d7295c880c1bc1a99182566e4b9a6880b0 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 6 Feb 2015 15:24:09 -0800 Subject: [PATCH] fix(library/tactic/rewrite_tactic): memory leak --- src/library/tactic/rewrite_tactic.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/library/tactic/rewrite_tactic.cpp b/src/library/tactic/rewrite_tactic.cpp index a6cbe11f7..b816e3b04 100644 --- a/src/library/tactic/rewrite_tactic.cpp +++ b/src/library/tactic/rewrite_tactic.cpp @@ -1244,6 +1244,8 @@ void finalize_rewrite_tactic() { delete g_rewrite_tac; delete g_rewrite_unfold_name; delete g_rewrite_unfold_opcode; + delete g_rewrite_fold_name; + delete g_rewrite_fold_opcode; delete g_rewrite_reduce_name; delete g_rewrite_reduce_opcode; delete g_rewrite_elem_name;