-
Alexandre Duret-Lutz authored
* src/twaalgos/hoa.cc, src/twaalgos/ltl2tgba_fm.cc: Remove some useless declarations of iterators, as detected by cppcheck.
967f9e8c
* src/twaalgos/hoa.cc, src/twaalgos/ltl2tgba_fm.cc: Remove some useless declarations of iterators, as detected by cppcheck.