Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> writes:
> That's interesting, because I get no such warning here. What version
> of flex are you using? (Mine is 2.5.4)
[nconway(at)tokyo:/home/nconway]% flex --version
flex 2.5.31
(The flex 2.5.31-22 debian package)
-Neil