From 0256a92eb0d0265750bd38a85dce4f9487aefe5b Mon Sep 17 00:00:00 2001
From: letouzey
Date: Sat, 6 Oct 2012 10:08:51 +0000
Subject: still some more dead code removal

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15875 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/top_printers.ml | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'dev')

diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index 8e7a92a8ff..20e0fff559 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -8,25 +8,19 @@
 
 (* Printers for the ocaml toplevel. *)
 
-open System
-open Errors
 open Util
 open Pp
 open Names
 open Libnames
 open Globnames
 open Nameops
-open Sign
 open Univ
 open Environ
 open Printer
 open Term
-open Termops
-open Cerrors
 open Evd
 open Goptions
 open Genarg
-open Mod_subst
 open Clenv
 
 let _ = Constrextern.print_evar_arguments := true
@@ -411,7 +405,6 @@ END
 open Pcoq
 open Genarg
 open Egramml
-open Egramcoq
 
 let _ =
   try
@@ -449,7 +442,6 @@ let _ =
 
 (* Setting printer of unbound global reference *)
 open Names
-open Nameops
 open Libnames
 
 let encode_path loc prefix mpdir suffix id =
-- 
cgit v1.2.3