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 /test | |
| parent | 6106e043c8a13bf882d2227b3ee80a108305d8df (diff) | |
| download | compcert-kvx-e6744b2bf013158c5158580107530eee65b53b35.tar.gz compcert-kvx-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 'test')
0 files changed, 0 insertions, 0 deletions