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