-
Alexandre Duret-Lutz authored
* src/tgbaalgos/neverclaim.cc: Make sure the any accepting initial state is not output as an accept_all state. This bug caused ltl2dstar.test to fail.
7c55500d
* src/tgbaalgos/neverclaim.cc: Make sure the any accepting initial state is not output as an accept_all state. This bug caused ltl2dstar.test to fail.