pass filters around

1 files changed, 1 insertions, 1 deletions

diff --git a/plugins/ltac/tactic_option.ml b/plugins/ltac/tactic_option.ml
index 4f00f17892..922d2f7792 100644
--- a/plugins/ltac/tactic_option.ml
+++ b/plugins/ltac/tactic_option.ml
@@ -32,7 +32,7 @@ let declare_tactic_option ?(default=Tacexpr.TacId []) name =
       { (default_object name) with
         cache_function = cache;
         load_function = (fun _ -> load);
-        open_function = (fun _ -> load);
+        open_function = simple_open (fun _ -> load);
         classify_function = (fun (local, tac) ->
           if local then Dispose else Substitute (local, tac));
         subst_function = subst}