-
* src/taalgos/tgba2ta.cc: Set is_accepting_state to false in GTA. * src/tgbatest/ltl2tgba.cc: Call tgta_explicit.get_ta() to avoid segfault.
e30b9232
* src/taalgos/tgba2ta.cc: Set is_accepting_state to false in GTA. * src/tgbatest/ltl2tgba.cc: Call tgta_explicit.get_ta() to avoid segfault.