Adapt to rocq-prover/rocq#21129.#220

ppedrot merged 1 commit intorocq-community:masterrocq-community/corn:masterfrom

ppedrot:intuition-stop-using-auto-with-starppedrot/corn:intuition-stop-using-auto-with-starCopy head branch name to clipboard