Mentions légales du service

Skip to content

adapt to coq PR #11404, where RList is replaced by (list R)

BERTOT Yves requested to merge bertot/coquelicot:removeRList into master

PR #11404 on coq/coq will brake the compilation of coquelicot because type RList and a few of the attached functions are removed in this PR. The fix in this pull request makes sure compilation works (already tested on a local machine and by Coq-ci).

Merge request reports