Adapt to https://github.com/coq/coq/pull/19530

mit-plv / kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

https://plv.csail.mit.edu/kami/

MIT License

142 stars 24 forks source link

Closed proux01 closed 1 month ago

proux01 commented 1 month ago

Adapt to https://github.com/coq/coq/pull/19530 This should be backward compatible and can be merged at your convenience, before the upstream PR.

proux01 commented 1 month ago

@samuelgruetter, @andres-erbsen (if I read correctly https://github.com/coq/coq/blob/718eabc3e8a6ad877ca875fa6647b931b5ffadd4/dev/ci/ci-basic-overlay.sh#L219-L221 ) CI here seems to confirm this is indeed backward compatible

proux01 commented 1 month ago

Thanks