Index: parsing/pcoq.ml4
*** parsing/pcoq.ml4	2002/12/15 12:10:18	1.57
--- parsing/pcoq.ml4	2003/10/07 14:49:25
***************
*** 108,113 ****
--- 108,114 ----
      type parsable = G.parsable
      let parsable = G.parsable
      let tokens = G.tokens
+     let glexer = G.glexer
      module Entry = G.Entry
      module Unsafe = G.Unsafe