-
Alexandre Duret-Lutz authored
* bin/autfilt.cc, bin/dstar2tgba.cc, bin/common_hoaread.hh: The filename is stored in the parsed automaton, so do not pass it another time to the printer.
6c3e0948
* bin/autfilt.cc, bin/dstar2tgba.cc, bin/common_hoaread.hh: The filename is stored in the parsed automaton, so do not pass it another time to the printer.