Ala-Eddine Ben-Salem authored Apr 11, 2012 and Alexandre Duret-Lutz committed Aug 21, 2012

* 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