diff --git a/src/library/tactic/expr_to_tactic.cpp b/src/library/tactic/expr_to_tactic.cpp
index 52e82d01c..517477cd8 100644
--- a/src/library/tactic/expr_to_tactic.cpp
+++ b/src/library/tactic/expr_to_tactic.cpp
@@ -358,6 +358,8 @@ void initialize_expr_to_tactic() {
 }
 
 void finalize_expr_to_tactic() {
+    delete g_expr_list_cons;
+    delete g_expr_list_nil;
     delete g_tactic_expr_type;
     delete g_tactic_expr_builtin;
     delete g_tactic_expr_name;