From 967f9e8cf19ae8c8c39a70310fa1bf3034bd1973 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 23 Apr 2015 23:45:36 +0200
Subject: [PATCH] fix some cppcheck errors

* src/twaalgos/hoa.cc, src/twaalgos/ltl2tgba_fm.cc: Remove some
useless declarations of iterators, as detected by cppcheck.
---
 src/twaalgos/hoa.cc         | 1 -
 src/twaalgos/ltl2tgba_fm.cc | 2 --
 2 files changed, 3 deletions(-)

diff --git a/src/twaalgos/hoa.cc b/src/twaalgos/hoa.cc
index 5da1cd088..1c9c11dd7 100644
--- a/src/twaalgos/hoa.cc
+++ b/src/twaalgos/hoa.cc
@@ -144,7 +144,6 @@ namespace spot
 
       void number_all_ap()
       {
-	sup_map::iterator i;
 	bdd all = bddtrue;
 	for (auto& i: sup)
 	  all &= bdd_support(i.first);
diff --git a/src/twaalgos/ltl2tgba_fm.cc b/src/twaalgos/ltl2tgba_fm.cc
index 1aa30e24f..dcdcf6097 100644
--- a/src/twaalgos/ltl2tgba_fm.cc
+++ b/src/twaalgos/ltl2tgba_fm.cc
@@ -157,7 +157,6 @@ namespace spot
 
       ~translate_dict()
       {
-	fv_map::iterator i;
 	for (auto& i: next_map)
 	  i.first->destroy();
 	dict->unregister_all_my_variables(this);
@@ -387,7 +386,6 @@ namespace spot
       std::ostream&
       dump(std::ostream& os) const
       {
-	fv_map::const_iterator fi;
 	os << "Next Variables:" << std::endl;
 	for (auto& fi: next_map)
 	{