15 files changed, 0 insertions, 30 deletions
diff --git a/parsing/argextend.ml4 b/parsing/argextend.ml4
index 3b2160af1..72b9d0a50 100644
--- a/parsing/argextend.ml4
+++ b/parsing/argextend.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_extend.cmo q_MLast.cmo" i*)
-
 open Genarg
 open Q_util
 open Q_coqast
diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4
index 432903377..12ed0c4b6 100644
--- a/parsing/g_constr.ml4
+++ b/parsing/g_constr.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_extend.cmo" i*)
-
 open Pp
 open Pcoq
 open Constr
diff --git a/parsing/g_ltac.ml4 b/parsing/g_ltac.ml4
index ca9e90cd5..bfdd0773a 100644
--- a/parsing/g_ltac.ml4
+++ b/parsing/g_ltac.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_extend.cmo" i*)
-
 open Pp
 open Util
 open Topconstr
diff --git a/parsing/g_prim.ml4 b/parsing/g_prim.ml4
index 02b3df3fb..5e6e0e1ed 100644
--- a/parsing/g_prim.ml4
+++ b/parsing/g_prim.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_extend.cmo" i*)
-
 open Pcoq
 open Names
 open Libnames
diff --git a/parsing/g_proofs.ml4 b/parsing/g_proofs.ml4
index 758d4599a..dfb59a19d 100644
--- a/parsing/g_proofs.ml4
+++ b/parsing/g_proofs.ml4
@@ -6,9 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_extend.cmo" i*)
-
-
 open Pcoq
 open Pp
 open Tactic
diff --git a/parsing/g_tactic.ml4 b/parsing/g_tactic.ml4
index 0ef18de2f..c1400f0c4 100644
--- a/parsing/g_tactic.ml4
+++ b/parsing/g_tactic.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_extend.cmo" i*)
-
 open Pp
 open Pcoq
 open Util
diff --git a/parsing/g_vernac.ml4 b/parsing/g_vernac.ml4
index a5b522fea..8951cfa2f 100644
--- a/parsing/g_vernac.ml4
+++ b/parsing/g_vernac.ml4
@@ -7,7 +7,6 @@
 (************************************************************************)
 
 (*i camlp4deps: "parsing/grammar.cma" i*)
-(*i camlp4use: "pa_extend.cmo" i*)
 
 
 open Pp
diff --git a/parsing/g_xml.ml4 b/parsing/g_xml.ml4
index 8bda1e58f..901f7ff10 100644
--- a/parsing/g_xml.ml4
+++ b/parsing/g_xml.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_extend.cmo" i*)
-
 open Pp
 open Util
 open Names
diff --git a/parsing/lexer.ml4 b/parsing/lexer.ml4
index 9ca653343..1db651033 100644
--- a/parsing/lexer.ml4
+++ b/parsing/lexer.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_macro.cmo" i*)
-
 open Pp
 open Util
 open Token
diff --git a/parsing/pcoq.ml4 b/parsing/pcoq.ml4
index 087bfc5b7..d12388382 100644
--- a/parsing/pcoq.ml4
+++ b/parsing/pcoq.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_extend.cmo pa_macro.cmo" i*)
-
 open Pp
 open Util
 open Names
diff --git a/parsing/q_constr.ml4 b/parsing/q_constr.ml4
index 28911794f..4c86e4415 100644
--- a/parsing/q_constr.ml4
+++ b/parsing/q_constr.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_extend.cmo q_MLast.cmo" i*)
-
 open Rawterm
 open Term
 open Names
diff --git a/parsing/q_coqast.ml4 b/parsing/q_coqast.ml4
index 914b6b8f6..6d3e8e03a 100644
--- a/parsing/q_coqast.ml4
+++ b/parsing/q_coqast.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "q_MLast.cmo pa_macro.cmo" i*)
-
 open Util
 open Names
 open Libnames
diff --git a/parsing/q_util.ml4 b/parsing/q_util.ml4
index e5851f81d..94319cc73 100644
--- a/parsing/q_util.ml4
+++ b/parsing/q_util.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "q_MLast.cmo" i*)
-
 (* This file defines standard combinators to build ml expressions *)
 
 open Util
diff --git a/parsing/tacextend.ml4 b/parsing/tacextend.ml4
index f77b24eff..fb1425e0e 100644
--- a/parsing/tacextend.ml4
+++ b/parsing/tacextend.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_extend.cmo q_MLast.cmo" i*)
-
 open Util
 open Genarg
 open Q_util
diff --git a/parsing/vernacextend.ml4 b/parsing/vernacextend.ml4
index ff354d5e0..d8b6fba31 100644
--- a/parsing/vernacextend.ml4
+++ b/parsing/vernacextend.ml4
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4use: "pa_extend.cmo q_MLast.cmo" i*)
-
 open Util
 open Genarg
 open Q_util