diff options
Diffstat (limited to 'proofs/logic.mli')
| -rw-r--r-- | proofs/logic.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/proofs/logic.mli b/proofs/logic.mli index 69c10812a..da54ef0a8 100644 --- a/proofs/logic.mli +++ b/proofs/logic.mli @@ -8,9 +8,7 @@ open Names open Term -open Context open Evd -open Environ open Proof_type (** This suppresses check done in [prim_refiner] for the tactic given in |