diff options
Diffstat (limited to 'proofs/refine.mli')
-rw-r--r-- | proofs/refine.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/proofs/refine.mli b/proofs/refine.mli index 1dcee3188..5098f246a 100644 --- a/proofs/refine.mli +++ b/proofs/refine.mli @@ -12,7 +12,6 @@ in Ltac which is actually based on the one below. *) open Proofview -open Proofview.Notations (** {6 The refine tactic} *) |