Adapt to Coq PR #18742: clause "using" moved from CInfo to Info - #609

Adapt to Coq PR #18742: clause "using" moved from CInfo to Info#609

herbelin wants to merge 1 commit into

LPCIC:coq-masterLPCIC/coq-elpi:coq-masterfrom

herbelin:coq-master+adapt-coq-pr18742-using-moved-from-cinfo-to-infoherbelin/coq-elpi:coq-master+adapt-coq-pr18742-using-moved-from-cinfo-to-infoCopy head branch name to clipboard