Adapt to coq/coq#18280 (case relevance outside case info)

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat

Other

720 stars 146 forks source link

Closed SkySkimmer closed 1 year ago

JasonGross commented 1 year ago

This will be backwards-compatible, right?

SkySkimmer commented 1 year ago

should be

JasonGross commented 1 year ago

Let's merge once CI passes then, no need to wait for three PR in Coq to be merged