From cffbb7b498c958443bd22467690ae16f9400f952 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 13 Dec 2012 10:46:02 +0100
Subject: [PATCH] Remove useless variable.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* src/tgba/tgbaexplicit.hh (add_state): Remove useless variable.
Reported by Étienne Renault.
---
 src/tgba/tgbaexplicit.hh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/tgba/tgbaexplicit.hh b/src/tgba/tgbaexplicit.hh
index b09e5831b..6b6f35f61 100644
--- a/src/tgba/tgbaexplicit.hh
+++ b/src/tgba/tgbaexplicit.hh
@@ -426,7 +426,6 @@ namespace spot
 	  if (j != alias_.end())
 	    return j->second;
 
-	  State s(name);
 	  State* res =
 	    &(ls_.insert(std::make_pair(name, State(name))).first->second);
 	  sl_[res] = name;