Thanks Gabriel!


On Fri, Feb 14, 2014 at 7:20 AM, Francois Pottier <Francois.Pottier@inria.fr
> wrote:

>
> Thanks for reporting this and thanks to Gabriel for the patch suggestion.
> This will be fixed in the next release of Menhir.
>
> --
> François Pottier
> Francois.Pottier@inria.fr
> http://gallium.inria.fr/~fpottier/
>