-
* src/taalgos/tgba2ta.cc: BUG FIX in TA construction * src/taalgos/minimize.cc: BUG FIX in TA minimization (did_split Flag)
a13d2c8f
* src/taalgos/tgba2ta.cc: BUG FIX in TA construction * src/taalgos/minimize.cc: BUG FIX in TA minimization (did_split Flag)