Adapt to rocq-prover/rocq#20839 (classifier sees ~atts)#1191

ppedrot merged 1 commit intoMetaRocq:mainMetaRocq/metarocq:mainfrom

gares:vernac-class-attsgares/metarocq:vernac-class-attsCopy head branch name to clipboard