Adapt to coq/coq#17576 (declare_variable takes typing flags argument)#1005

Merged

ppedrot merged 1 commit intoMetaCoq:mainfrom SkySkimmer:let-abstract

Nov 4, 2023

+1-1

Commits on Nov 2, 2023

Adapt to coq/coq#17576 (declare_variable takes typing flags argument)
SkySkimmer
committed