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)
 	{