suppression des (* open Generic *)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@793 85f007b7-540e-0410-9357-904b9bb8a0f7

17 files changed, 0 insertions, 17 deletions

diff --git a/tactics/auto.ml b/tactics/auto.ml
index 3e26eb9a7b..a2a56fa9a0 100644
--- a/tactics/auto.ml
+++ b/tactics/auto.ml
@@ -4,7 +4,6 @@
 open Pp
 open Util
 open Names
-(* open Generic *)
 open Term
 open Sign
 open Inductive
diff --git a/tactics/btermdn.mli b/tactics/btermdn.mli
index ca1d0831ac..237aee4be3 100644
--- a/tactics/btermdn.mli
+++ b/tactics/btermdn.mli
@@ -2,7 +2,6 @@
 (* $Id$ *)
 
 (*i*)
-(* open Generic *)
 open Term
 open Pattern
 (*i*)
diff --git a/tactics/dhyp.ml b/tactics/dhyp.ml
index 7e3ac13b29..42529c56a7 100644
--- a/tactics/dhyp.ml
+++ b/tactics/dhyp.ml
@@ -107,7 +107,6 @@ Qed.
 open Pp
 open Util
 open Names
-(* open Generic *)
 open Term
 open Environ
 open Reduction
diff --git a/tactics/eauto.ml b/tactics/eauto.ml
index e4b1ac15ad..85ab52d1c5 100644
--- a/tactics/eauto.ml
+++ b/tactics/eauto.ml
@@ -4,7 +4,6 @@
 open Pp
 open Util
 open Names
-(* open Generic *)
 open Term
 open Sign
 open Reduction
diff --git a/tactics/elim.ml b/tactics/elim.ml
index b4eaf03e83..b92e949d5f 100644
--- a/tactics/elim.ml
+++ b/tactics/elim.ml
@@ -4,7 +4,6 @@
 open Pp
 open Util
 open Names
-(* open Generic *)
 open Term
 open Reduction
 open Inductive
diff --git a/tactics/equality.ml b/tactics/equality.ml
index 8c6ace2f61..6d4bc8d55a 100644
--- a/tactics/equality.ml
+++ b/tactics/equality.ml
@@ -5,7 +5,6 @@ open Pp
 open Util
 open Names
 open Univ
-(* open Generic *)
 open Term
 open Inductive
 open Environ
diff --git a/tactics/hipattern.ml b/tactics/hipattern.ml
index 944d826055..ba59183cb3 100644
--- a/tactics/hipattern.ml
+++ b/tactics/hipattern.ml
@@ -4,7 +4,6 @@
 open Pp
 open Util
 open Names
-(* open Generic *)
 open Term
 open Reduction
 open Inductive
diff --git a/tactics/inv.ml b/tactics/inv.ml
index fa26027897..e2b2a0426f 100644
--- a/tactics/inv.ml
+++ b/tactics/inv.ml
@@ -4,7 +4,6 @@
 open Pp
 open Util
 open Names
-(* open Generic *)
 open Term
 open Global
 open Sign
diff --git a/tactics/leminv.ml b/tactics/leminv.ml
index 74f7bf2f23..962c18cc17 100644
--- a/tactics/leminv.ml
+++ b/tactics/leminv.ml
@@ -4,7 +4,6 @@
 open Pp
 open Util
 open Names
-(* open Generic *)
 open Term
 open Sign
 open Evd
diff --git a/tactics/nbtermdn.ml b/tactics/nbtermdn.ml
index d5d657365f..918313d0f7 100644
--- a/tactics/nbtermdn.ml
+++ b/tactics/nbtermdn.ml
@@ -3,7 +3,6 @@
 
 open Util
 open Names
-(* open Generic *)
 open Term
 open Libobject
 open Library
diff --git a/tactics/nbtermdn.mli b/tactics/nbtermdn.mli
index 4cbf696c4b..038af44d2d 100644
--- a/tactics/nbtermdn.mli
+++ b/tactics/nbtermdn.mli
@@ -2,7 +2,6 @@
 (* $Id$ *)
 
 (*i*)
-(* open Generic *)
 open Term
 open Pattern
 (*i*)
diff --git a/tactics/refine.ml b/tactics/refine.ml
index 904ed30382..a63cfe975e 100644
--- a/tactics/refine.ml
+++ b/tactics/refine.ml
@@ -42,7 +42,6 @@
 open Pp
 open Util
 open Names
-(* open Generic *)
 open Term
 open Tacmach
 open Sign
diff --git a/tactics/tacticals.ml b/tactics/tacticals.ml
index 0c513c2cf7..5a5500fdc6 100644
--- a/tactics/tacticals.ml
+++ b/tactics/tacticals.ml
@@ -4,7 +4,6 @@
 open Pp
 open Util
 open Names
-(* open Generic *)
 open Term
 open Sign
 open Declarations
diff --git a/tactics/tactics.ml b/tactics/tactics.ml
index e6b43a81e8..34ad6e56cd 100644
--- a/tactics/tactics.ml
+++ b/tactics/tactics.ml
@@ -6,7 +6,6 @@ open Util
 open Stamps
 open Names
 open Sign
-(* open Generic *)
 open Term
 open Inductive
 open Reduction
diff --git a/tactics/termdn.ml b/tactics/termdn.ml
index 3a1df02349..481bd3ac40 100644
--- a/tactics/termdn.ml
+++ b/tactics/termdn.ml
@@ -2,7 +2,6 @@
 (* $Id$ *)
 
 open Util
-(* open Generic *)
 open Names
 open Term
 open Pattern
diff --git a/tactics/termdn.mli b/tactics/termdn.mli
index 02415bc3c3..8281a31799 100644
--- a/tactics/termdn.mli
+++ b/tactics/termdn.mli
@@ -2,7 +2,6 @@
 (* $Id$ *)
 
 (*i*)
-(* open Generic *)
 open Term
 open Pattern
 (*i*)
diff --git a/tactics/wcclausenv.ml b/tactics/wcclausenv.ml
index ab046025f8..b67bf13f89 100644
--- a/tactics/wcclausenv.ml
+++ b/tactics/wcclausenv.ml
@@ -4,7 +4,6 @@
 open Pp
 open Util
 open Names
-(* open Generic *)
 open Term
 open Sign
 open Reduction