alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

fix some cppcheck errors

Browse source 
* src/twaalgos/hoa.cc, src/twaalgos/ltl2tgba_fm.cc: Remove some
useless declarations of iterators, as detected by cppcheck.
This commit is contained in:
Alexandre Duret-Lutz 2015-04-23 23:45:36 +02:00
parent c829cbbadf
commit 967f9e8cf1
2 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/twaalgos/hoa.cc
View file

@ -144,7 +144,6 @@ namespace spot
void number_all_ap() void number_all_ap()
{ {
sup_map::iterator i;
bdd all = bddtrue; bdd all = bddtrue;
for (auto& i: sup) for (auto& i: sup)
all &= bdd_support(i.first); all &= bdd_support(i.first);

2
src/twaalgos/ltl2tgba_fm.cc
View file

@ -157,7 +157,6 @@ namespace spot
~translate_dict() ~translate_dict()
{ {
fv_map::iterator i;
for (auto& i: next_map) for (auto& i: next_map)
i.first->destroy(); i.first->destroy();
dict->unregister_all_my_variables(this); dict->unregister_all_my_variables(this);
@ -387,7 +386,6 @@ namespace spot
std::ostream& std::ostream&
dump(std::ostream& os) const dump(std::ostream& os) const
{ {
fv_map::const_iterator fi;
os << "Next Variables:" << std::endl; os << "Next Variables:" << std::endl;
for (auto& fi: next_map) for (auto& fi: next_map)
{ {