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;