-
Denis Poitrenaud authored
* src/tgbatest/ltl2tgba.cc: Typo. * src/tgbaalgos/magic.hh: Correct pseudo-code. dedicated to display of stats.
68c0aa2e
* src/tgbatest/ltl2tgba.cc: Typo. * src/tgbaalgos/magic.hh: Correct pseudo-code. dedicated to display of stats.