-
Alexandre Duret-Lutz authored
As actually claimed (but not done) by 738f939f. * src/twaalgos/hoa.hh, src/twaalgos/hoa.cc: Rename it. * src/bin/common_aoutput.cc, src/bin/dstar2tgba.cc, src/bin/ltlcross.cc, src/tests/complementation.cc, src/tests/ltl2tgba.cc, src/tests/randtgba.cc, src/twaalgos/hoa.cc, wrap/python/spot.py: Adjust.
b229bfc2