diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-11 15:24:39 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-11 15:24:39 +0200 |
commit | 0d48fd07e551d3cedd616126400b00464a137835 (patch) | |
tree | 3b4f7d84098afa656228eb4fb7e457bf04d02d59 /cfrontend/SimplExprproof.v | |
parent | 812ae094557c60847de73c1e9ee198de9c17669d (diff) | |
download | compcert-0d48fd07e551d3cedd616126400b00464a137835.tar.gz compcert-0d48fd07e551d3cedd616126400b00464a137835.zip |
configure: bump Menhir required version to 20160303
Earlier versions of Menhir run into "string too long" errors in Coq when building on a 32-bit platform.
Diffstat (limited to 'cfrontend/SimplExprproof.v')
0 files changed, 0 insertions, 0 deletions