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;