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;