From 95ad831c403a0d7285f6d65f5218b1abab8253f4 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 24 Mar 2018 09:55:54 +0100
Subject: [PATCH] * spot/twaalgos/ltl2taa.cc: Remove unused variable.

---
 spot/twaalgos/ltl2taa.cc | 1 -
 1 file changed, 1 deletion(-)

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