From 93e163c239a27e069c2e53f047d8b986e53f7948 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 9 Oct 2003 12:13:24 +0000
Subject: Compatibilite ocaml 3.06 et 3.07

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4554 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/pcoq.ml4 | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/parsing/pcoq.ml4 b/parsing/pcoq.ml4
index 46561d2cd2..9bb2a86b97 100644
--- a/parsing/pcoq.ml4
+++ b/parsing/pcoq.ml4
@@ -104,13 +104,7 @@ let camlp4_state = ref []
    extensions. *)
 module Gram =
   struct
-    type te = Token.t
-    type parsable = G.parsable
-    let parsable = G.parsable
-    let tokens = G.tokens
-    module Entry = G.Entry
-    module Unsafe = G.Unsafe
-
+    include G
     let extend e pos rls =
       camlp4_state :=
       (ByGEXTEND ((fun () -> grammar_delete e rls),
-- 
cgit v1.2.3