diff options
Diffstat (limited to 'tactics/extratactics.mli')
| -rw-r--r-- | tactics/extratactics.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/extratactics.mli b/tactics/extratactics.mli index 72c2679c0..1d2e497d5 100644 --- a/tactics/extratactics.mli +++ b/tactics/extratactics.mli @@ -11,4 +11,4 @@ val injHyp : Names.Id.t -> unit Proofview.tactic (* val refine_tac : Evd.open_constr -> unit Proofview.tactic *) -val onSomeWithHoles : ('a option -> unit Proofview.tactic) -> 'a Evd.sigma option -> unit Proofview.tactic +val onSomeWithHoles : ('a option -> unit Proofview.tactic) -> 'a Tacexpr.delayed_open option -> unit Proofview.tactic |