Re: [PATCH 5/5] bison: pacify Sun C 5.12

[Paul Eggert]

Thanks for doing that.  I never got a chance to review the patch
carefully, but a superficial look suggests it should be OK.