Adapt w.r.t. coq/coq#18664.#390

Merged

SkySkimmer merged 1 commit intorocq-archive:mainfrom ppedrot:cleanup-hint-path-derivate

Feb 19, 2024

+2-14

Commits on Feb 14, 2024

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