Adapt to Coq PR #18253: poly flag is spurious on try_add_new_coercion#533

Merged

ppedrot merged 1 commit intoLPCIC:coq-masterfrom herbelin:coq-master+adapt-coq-pr18253-no-poly-for-coercion

Nov 25, 2023

+4-5

Commits on Nov 3, 2023

Removing superfluous poly flag for try_add_new_coercion and declare_axiom.
herbelin
committed