-
Paolo G. Giarrusso authored
Include workaround for Coq bug #14441, and drop now-failing test for that Coq bug.
Paolo G. Giarrusso authoredInclude workaround for Coq bug #14441, and drop now-failing test for that Coq bug.
Loading
Include workaround for Coq bug #14441, and drop now-failing test for that Coq bug.
Include workaround for Coq bug #14441, and drop now-failing test for that Coq bug.