-
Alexandre Duret-Lutz authored
* src/taalgos/tgba2ta.cc, src/ta/taexplicit.hh (state_ta_explicit): Remove unused argument in constructor.
Alexandre Duret-Lutz authored* src/taalgos/tgba2ta.cc, src/ta/taexplicit.hh (state_ta_explicit): Remove unused argument in constructor.
Loading