fix: nontermination while generating equation lemmas for `match`-expressions#6180

Merged

leodemoura merged 1 commit intomasterfrom issue6067

Nov 23, 2024

+60-17

Commits on Nov 22, 2024

fix: nontermination while generating equation lemmas for match expressions
leodemoura
committed