Adapt w.r.t. coq/coq#17564.#76

Merged

ppedrot merged 1 commit intocoq-community:masterfrom ppedrot:case-pf-pose-dependent-metas

May 3, 2023

+13-13

Commits on May 3, 2023

Adapt w.r.t. coq/coq#17564 .
ppedrot
committed