Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
This reverts commit ec5b6bd8. The FIXME seems to not just rely on https://github.com/coq/coq/issues/5735 since it fails with Coq 8.10 and 8.11
Robbert Krebbers authoredThis reverts commit ec5b6bd8. The FIXME seems to not just rely on https://github.com/coq/coq/issues/5735 since it fails with Coq 8.10 and 8.11
