diff options
Diffstat (limited to 'engine/proofview.ml')
-rw-r--r-- | engine/proofview.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/engine/proofview.ml b/engine/proofview.ml index 21227ed19..53cb77b95 100644 --- a/engine/proofview.ml +++ b/engine/proofview.ml @@ -1159,10 +1159,6 @@ let tclLIFT = Proof.lift let tclCHECKINTERRUPT = tclLIFT (NonLogical.make Control.check_for_interrupt) - - - - (*** Compatibility layer with <= 8.2 tactics ***) module V82 = struct type tac = Evar.t Evd.sigma -> Evar.t list Evd.sigma |