-
Alexandre Duret-Lutz authored
* src/tgbaalgos/hoaf.cc, src/tgbaalgos/hoaf.hh: Rename to... * src/tgbaalgos/hoa.cc, src/tgbaalgos/hoa.hh: ... these, and fix the function names. * src/tgbaalgos/Makefile.am, src/bin/autfilt.cc, src/bin/dstar2tgba.cc, src/bin/ltl2tgba.cc, src/tgbatest/ltl2tgba.cc: Adjust all calls.
f08a26f7