Adapt to https://github.com/rocq-prover/rocq/pull/21478#2247

JasonGross merged 1 commit intomit-plv:sp2019latestmit-plv/fiat-crypto:sp2019latestfrom

proux01:rocq21478_legacy_overlayproux01/fiat-crypto:rocq21478_legacy_overlayCopy head branch name to clipboard