From 006de5da70f42b8f956b177996fc2e48d25ad909 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 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())
           {