-
Alexandre Duret-Lutz authored
as reported by cppcheck * src/taalgos/emptinessta.cc, src/taalgos/tgba2ta.cc, src/twa/acc.cc, src/twaalgos/minimize.cc, src/twaalgos/neverclaim.cc, src/twaalgos/remprop.cc, src/twaalgos/sccinfo.cc: Here.
340557a1
as reported by cppcheck * src/taalgos/emptinessta.cc, src/taalgos/tgba2ta.cc, src/twa/acc.cc, src/twaalgos/minimize.cc, src/twaalgos/neverclaim.cc, src/twaalgos/remprop.cc, src/twaalgos/sccinfo.cc: Here.