diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-04-19 11:26:31 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-04-19 11:26:31 +0200 |
commit | e6744b2bf013158c5158580107530eee65b53b35 (patch) | |
tree | 3e4ff1c482a6aecd3c483bc31cd46a272b6d8144 /x86 | |
parent | 6106e043c8a13bf882d2227b3ee80a108305d8df (diff) | |
download | compcert-e6744b2bf013158c5158580107530eee65b53b35.tar.gz compcert-e6744b2bf013158c5158580107530eee65b53b35.zip |
Ensure compatibility with future versions of MenhirLib
After Menhir version 20210310, the `Fail_pr` constructor of the
`parse_result` type becomes `Fail_pr_full` with two extra arguments.
This PR enables CompCert to handle both versions of the `parse_result`
type in MenhirLib.
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions