Adapt to coq/coq#19584 (record raw ast has loc on idbuild)#718

Merged

gares merged 1 commit intoLPCIC:masterfrom SkySkimmer:jump-to-def

Nov 26, 2024

+1-1

Commits on Nov 25, 2024

Adapt to coq/coq#19584 (record raw ast has loc on idbuild)
SkySkimmer
committed