Re: Bison 3.0 updates

Vik Fearing <vik(dot)fearing(at)dalibo(dot)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