diff --git a/spot/twaalgos/ltl2taa.cc b/spot/twaalgos/ltl2taa.cc
index 8b02d7c9e..346583df8 100644
--- a/spot/twaalgos/ltl2taa.cc
+++ b/spot/twaalgos/ltl2taa.cc
@@ -249,7 +249,6 @@ namespace spot
             ok = false;
         }
 
-        std::vector<succ_state>::iterator i;
         taa_tgba::transition* t = nullptr;
         switch (f.kind())
           {