-
Alexandre Duret-Lutz authored
A Fin() terms with multiple sets should not appear under an And. * src/tgba/acc.cc (is_dnf): Fix it. * src/tgbatest/acc.cc, src/tgbatest/acc.test: Augment test case.
b71e6add
A Fin() terms with multiple sets should not appear under an And. * src/tgba/acc.cc (is_dnf): Fix it. * src/tgbatest/acc.cc, src/tgbatest/acc.test: Augment test case.