Skip to content
Blame History Permalink
  • Xavier Leroy's avatar
    Ensure compatibility with future versions of MenhirLib · e6744b2b
    Xavier Leroy authored 
    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.
    e6744b2b