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/