From 85c509a0fada387d3af96add3dac6a7c702b5d01 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 2 Oct 2012 15:58:00 +0000
Subject: Remove some more "open" and dead code thanks to OCaml4 warnings

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15844 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/nsatz/nsatz.ml4  | 21 ---------------------
 plugins/nsatz/polynom.ml |  3 +--
 2 files changed, 1 insertion(+), 23 deletions(-)

(limited to 'plugins/nsatz')

diff --git a/plugins/nsatz/nsatz.ml4 b/plugins/nsatz/nsatz.ml4
index 4cac907135..34be7244d3 100644
--- a/plugins/nsatz/nsatz.ml4
+++ b/plugins/nsatz/nsatz.ml4
@@ -8,34 +8,13 @@
 
 (*i camlp4deps: "grammar/grammar.cma" i*)
 
-open Pp
 open Errors
 open Util
-open Names
 open Term
-open Closure
-open Environ
-open Libnames
 open Tactics
-open Glob_term
-open Tacticals
-open Tacexpr
-open Pcoq
-open Tactic
-open Constr
-open Proof_type
 open Coqlib
-open Tacmach
-open Mod_subst
-open Tacinterp
-open Libobject
-open Printer
-open Declare
-open Decl_kinds
-open Entries
 
 open Num
-open Unix
 open Utile
 
 (***********************************************************************
diff --git a/plugins/nsatz/polynom.ml b/plugins/nsatz/polynom.ml
index 071df5cf75..a610c8461a 100644
--- a/plugins/nsatz/polynom.ml
+++ b/plugins/nsatz/polynom.ml
@@ -7,9 +7,8 @@
 (************************************************************************)
 
 (* Recursive polynomials: R[x1]...[xn]. *)
-open Utile
-open Errors
 open Util
+open Utile
 
 (* 1. Coefficients: R *)
 
-- 
cgit v1.2.3