Adapt to Coq PR#18397: Change of ComAssumption.declare_variable and C…#603

Merged

SkySkimmer merged 1 commit intoLPCIC:coq-masterfrom proux01:coq-master+adapt-coq-pr18397-declare_variable-api

Feb 22, 2024

Commits on Feb 22, 2024

Adapt to Coq PR#18397: Change of ComAssumption.declare_variable and ComAssumption.declare_axiom.

herbelin
authored and
proux01
committed