diff options
Diffstat (limited to 'tactics/dhyp.mli')
| -rw-r--r-- | tactics/dhyp.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/dhyp.mli b/tactics/dhyp.mli index 3277fd2e6..41fd497f7 100644 --- a/tactics/dhyp.mli +++ b/tactics/dhyp.mli @@ -28,5 +28,5 @@ val h_auto_tdb : int option -> tactic val add_destructor_hint : Vernacexpr.locality_flag -> identifier -> (bool,unit) Tacexpr.location -> - Rawterm.patvar list * Pattern.constr_pattern -> int -> + Rawterm.patvar list * Pattern.constr_pattern -> int -> glob_tactic_expr -> unit |