[patch] ocaml-3.07 patch

coq.patch (text/plain), 333 bytes, created by Matthieu Sozeau (RETIRED) on 2003-10-16 04:27:01 UTC

--- /root/tmp/coq-7.4/parsing/pcoq.ml4  2002-12-15 13:10:18.000000000 +0100
+++ parsing/pcoq.ml4    2003-10-16 13:00:15.000000000 +0200
@@ -108,6 +108,7 @@
     type parsable = G.parsable
     let parsable = G.parsable
     let tokens = G.tokens
+    let glexer = G.glexer
     module Entry = G.Entry
     module Unsafe = G.Unsafe