-
Alexandre Duret-Lutz authored
* src/tgbaalgos/emptiness.hh (print_tgba_run): Reword the documentation after a report from Nikos Gorogiannis.
2422b63a
* src/tgbaalgos/emptiness.hh (print_tgba_run): Reword the documentation after a report from Nikos Gorogiannis.