diff --git a/src/library/tactic/rewrite_tactic.cpp b/src/library/tactic/rewrite_tactic.cpp
index 3fe1192a5..36ef80833 100644
--- a/src/library/tactic/rewrite_tactic.cpp
+++ b/src/library/tactic/rewrite_tactic.cpp
@@ -1720,6 +1720,7 @@ void finalize_rewrite_tactic() {
     delete g_rewriter_max_iterations;
     delete g_rewriter_syntactic;
     delete g_rewriter_trace;
+    delete g_rewriter_beta_eta;
     delete g_rewrite_tac;
     delete g_krewrite_tac;
     delete g_xrewrite_tac;