Adapt to coq/coq#20275 (Printing Depth has effect at extern time)#117

Merged

ppedrot merged 1 commit intocoq:masterfrom SkySkimmer:constrextern-max-depth

Mar 6, 2025

Commits on Mar 5, 2025

Adapt to coq/coq#20275 (Printing Depth has effect at extern time)
SkySkimmer
committed