Adapt to coq/coq#19575 (ltac2 parsing uses attributes)#826

Merged

ejgallego merged 1 commit intoejgallego:mainfrom SkySkimmer:ltac2-ctor-warn

Oct 1, 2024

+1

Commits on Oct 1, 2024

Adapt to coq/coq#19575 (ltac2 parsing uses attributes)

SkySkimmer
authored and
ejgallego
committed