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

MetaCoq / metacoq

Metaprogramming, verified meta-theory and implementation of Coq in Coq

https://metacoq.github.io

MIT License

370 stars 79 forks source link

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

Closed SkySkimmer closed 10 months ago

proux01 commented 10 months ago

Upstream PR merged, this can be merged.