-
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.
f529c4f4
The space should not be there and was added in oversight. This also provides forwards compatibility with https://github.com/coq/coq/pull/10832.