-
Alexandre Duret-Lutz authored
* src/tgba/tgbaexplicit.hh (state_is_accepting): Use all_acceptance_conditions(), not all_acceptance_conditions_, so that it works even when all_acceptance_conditions_ is not ready. * src/tgbatest/explicit2.cc, src/tgbatest/explicit2.test: Adjust test case.
fa4e6eff