Adapt to coq/coq#19981 (Set Warnings is synterp phase)#1132

Merged

ppedrot merged 1 commit intoMetaCoq:mainfrom SkySkimmer:classify-warn

Jan 9, 2025

+5-3

Commits on Jan 7, 2025

Adapt to coq/coq#19981 (Set Warnings is synterp phase)
SkySkimmer
committed