-
Alexandre Duret-Lutz authored
And add a cleanup_acceptance() version that copies. * src/tgbaalgos/cleanacc.cc, src/tgbaalgos/cleanacc.hh: Rename and add the second version. * src/bin/autfilt.cc, src/bin/ltlcross.cc, src/tgbaalgos/dtgbacomp.cc, src/tgbaalgos/remfin.cc: Use cleanup_acceptance_here.
df981a06