* spot/twaalgos/ltl2taa.cc: Remove unused variable.

95ad831c · Alexandre Duret-Lutz · 69a3e848 · 95ad831c
Commit 95ad831c authored Mar 24, 2018 by Alexandre Duret-Lutz
--- 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())
          {