diff options
| author | Arnaud Spiwack | 2014-02-27 14:07:43 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-02-27 14:46:37 +0100 |
| commit | d98fdf1ef5789f6d5420e52c34a33debf08584e9 (patch) | |
| tree | b61a0b679df7b56ff6180924395fa5671d4c9b8f /proofs/proofview.mli | |
| parent | 4d6b938e90ecd9dbfb29a0af28a7d8b6a657ae17 (diff) | |
Code refactoring thanks to the new Monad module.
Diffstat (limited to 'proofs/proofview.mli')
| -rw-r--r-- | proofs/proofview.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/proofs/proofview.mli b/proofs/proofview.mli index eba6734390..7e2d374d5b 100644 --- a/proofs/proofview.mli +++ b/proofs/proofview.mli @@ -262,8 +262,6 @@ val mark_as_unsafe : unit tactic module Monad : Monad.S with type +'a t = 'a tactic -val list_map : ('a -> 'b tactic) -> 'a list -> 'b list tactic - (*** Commands ***) val in_proofview : proofview -> (Evd.evar_map -> 'a) -> 'a |