-
* src/ta/taexplicit.hh, src/ta/taexplicit.cc, src/taalgos/minimize.cc, src/taalgos/tgba2ta.cc, src/tgbatest/ltl2tgba.cc: correct the code style in order to respect the sanity rules
618146c1
* src/ta/taexplicit.hh, src/ta/taexplicit.cc, src/taalgos/minimize.cc, src/taalgos/tgba2ta.cc, src/tgbatest/ltl2tgba.cc: correct the code style in order to respect the sanity rules