search

coq-community / paramcoq

Coq plugin for parametricity [maintainer=@proux01]
Other
44 stars 24 forks source link

Adapt to coq/coq#15003 (user_err has no hdr argument) #83

Closed SkySkimmer closed 3 years ago

SkySkimmer commented 3 years ago

Backwards compatible (hdr was optional)