From: Kim Nguyễn <kn@lri.fr>
Date: Mon, 17 Mar 2014 13:08:57 +0000 (+0100)
Subject: Cherry pick use of menhir features from branch feature/menhir.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=456aa2cae4ba3afc4fe364880e52f66490700650;hp=456aa2cae4ba3afc4fe364880e52f66490700650

Cherry pick use of menhir features from branch feature/menhir.
Work around a bug in menhir that generates code with the 'lexer' identifier which in turn makes ulex syntax extension choke.
---