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

JasonGross merged 1 commit intomit-plv:mastermit-plv/fiat:masterfrom

proux01:rocq21478proux01/fiat:rocq21478Copy head branch name to clipboard