Adapt to coq/coq#18331 (mind_kelim -> mind_squashed)#1015

Merged

ppedrot merged 1 commit intoMetaCoq:mainfrom SkySkimmer:sort-poly-ind

Nov 29, 2023

+5-1

Commits on Nov 20, 2023

Adapt to coq/coq#18331 (mind_kelim -> mind_squashed)
SkySkimmer
committed