Adapt w.r.t. coq/coq#19228.#1934

Merged

andres-erbsen merged 1 commit intomit-plv:masterfrom ppedrot:template-no-sup-constraints

Jul 29, 2024

+1-1

Commits on Jul 28, 2024

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