Skip to content

adapt to coq/coq#13840

Enrico Tassi requested to merge gares/iris:print-prim into master

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

Merge request reports