Adapt to Coq stdlib renamings and fixes a mispelled constructor

coq-community / paramcoq

Coq plugin for parametricity [maintainer=@proux01]

Other

44 stars 24 forks source link

Closed herbelin closed 1 year ago

herbelin commented 1 year ago

This PR addresses two stdlib renamings while compiling paramcoq's examples with recent Coq (such as 8.18): app_assoc and Nat.divmod.

It also fixes a mispelling which was supposingly unintended (revealed by a new Coq warning).

proux01 commented 1 year ago

Thanks!