[packages/coq.git] / coq-ocaml-3.07.patch

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
Commit	Line	Data
a47b2414 JR	1	Index: parsing/pcoq.ml4
	2	*** parsing/pcoq.ml4 2002/12/15 12:10:18 1.57
	3	--- parsing/pcoq.ml4 2003/10/07 14:49:25
	4	***************
	5	* 108,113 **
	6	--- 108,114 ----
	7	type parsable = G.parsable
	8	let parsable = G.parsable
	9	let tokens = G.tokens
	10	+ let glexer = G.glexer
	11	module Entry = G.Entry
	12	module Unsafe = G.Unsafe
	13