Adapt to rocq-prover/rocq#21820 (collapse_sort_variables arg change)#231

jim-portegies merged 1 commit intoimpermeable:coq-masterimpermeable/coq-waterproof:coq-masterfrom

SkySkimmer:only-aboveSkySkimmer/coq-waterproof:only-aboveCopy head branch name to clipboard