Adapt to Coq PR #17832: syntax of choice in rewstrategy expects arguments at atomic level#122

Merged

spitters merged 1 commit intocoq-community:masterfrom herbelin:master+adapting-coq-pr17832-choice-stronger-precedence-rewstrategy

Nov 6, 2023

+1-1

Commits on Nov 4, 2023

Adapt to Coq PR #17832: syntax of choice in rewstrategy expects arguments at atomic level.
herbelin
committed