-
Paolo G. Giarrusso authored
Include workaround for Coq bug #14441, and drop now-failing test for that Coq bug.
To find the state of this project's repository at the time of any of these versions, check out the tags.
Include workaround for Coq bug #14441, and drop now-failing test for that Coq bug.