* src/taalgos/tgba2ta.cc, src/ta/taexplicit.hh (state_ta_explicit):
Remove unused argument in constructor.