Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
The space should not be there and was added in oversight. This also provides forwards compatibility with https://github.com/coq/coq/pull/10832.
Robbert Krebbers authoredThe space should not be there and was added in oversight. This also provides forwards compatibility with https://github.com/coq/coq/pull/10832.
