Vik Fearing <vik.fearing@dalibo.com> writes:
> I'm getting some more of these, including some I thought you had fixed.
> Bison 3.0.2 on current head.
I didn't do anything to suppress those warnings:
> gram.y:172.1-13: warning: deprecated directive, use ‘%name-prefix’
> [-Wdeprecated]
> %name-prefix="base_yy"
> ^^^^^^^^^^^^^
because it's hard to see how that's anything but a bison bug.
regards, tom lane
