summaryrefslogtreecommitdiff
path: root/contrib/interface/showproof.mli
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/interface/showproof.mli')
-rwxr-xr-xcontrib/interface/showproof.mli2
1 files changed, 0 insertions, 2 deletions
diff --git a/contrib/interface/showproof.mli b/contrib/interface/showproof.mli
index ee269458..9b6787b7 100755
--- a/contrib/interface/showproof.mli
+++ b/contrib/interface/showproof.mli
@@ -4,9 +4,7 @@ open Names
open Term
open Util
open Proof_type
-open Coqast
open Pfedit
-open Translate
open Term
open Reduction
open Clenv