adapt to coq PR #11404, where RList is replaced by (list R) (!3) · Merge requests · Coquelicot / coquelicot

BERTOT Yves requested to merge bertot/coquelicot:removeRList into master Feb 06, 2020

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).

Admin message

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

Merge request reports