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

xavierleroy merged 2 commits intoAbsInt:masterAbsInt/CompCert:masterfrom

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