Adapt to https://github.com/rocq-prover/rocq/pull/21947#2312

Merged

JasonGross merged 1 commit intomit-plv:sp2019latestfrom

proux01:rocq21947-legacy

Apr 23, 2026

Commits on Apr 23, 2026

Adapt to https://github.com/rocq-prover/rocq/pull/21947
proux01
committed