diff options
Diffstat (limited to 'ltac/tauto.ml')
| -rw-r--r-- | ltac/tauto.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ltac/tauto.ml b/ltac/tauto.ml index b0958b394..c075d05bb 100644 --- a/ltac/tauto.ml +++ b/ltac/tauto.ml @@ -11,6 +11,7 @@ open Hipattern open Names open Pp open Genarg +open Geninterp open Stdarg open Misctypes open Tacexpr @@ -55,7 +56,9 @@ type tauto_flags = { } let wit_tauto_flags : tauto_flags uniform_genarg_type = - Genarg.create_arg "tauto_flags" + let wit = Genarg.create_arg "tauto_flags" in + let () = register_val0 wit None in + wit let assoc_flags ist = let v = Id.Map.find (Names.Id.of_string "tauto_flags") ist.lfun in |