diff options
Diffstat (limited to 'proofs/proofview.mli')
| -rw-r--r-- | proofs/proofview.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/proofs/proofview.mli b/proofs/proofview.mli index 288a46cb76..4472bbcb79 100644 --- a/proofs/proofview.mli +++ b/proofs/proofview.mli @@ -394,10 +394,6 @@ module Goal : sig val env : 'a t -> Environ.env val sigma : 'a t -> Evd.evar_map - (* [lift_sensitive s k] applies [s] in each goal independently - raising result [a] then continues with [k a]. *) - val lift : 'a Goal.sensitive -> ('a->unit tactic) -> unit tactic - (* [enter t] execute the goal-dependent tactic [t] in each goal independently. In particular [t] need not backtrack the same way in each goal. *) |