adapt to coq/coq#13840
Adapt to https://github.com/coq/coq/pull/13840. The alternative is to fix the .ref, but it seems you test on more than one Coq version, so it would make things more complex.
Edited by Ralf Jung
Adapt to https://github.com/coq/coq/pull/13840. The alternative is to fix the .ref, but it seems you test on more than one Coq version, so it would make things more complex.