- needed to build coq with ocaml 3.07
[packages/coq.git] / coq-ocaml-3.07.patch
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   
This page took 0.039999 seconds and 3 git commands to generate.