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;