diff --git a/src/tgbaalgos/gtec/ce.cc b/src/tgbaalgos/gtec/ce.cc
index 497c72674..7c7704bb9 100644
--- a/src/tgbaalgos/gtec/ce.cc
+++ b/src/tgbaalgos/gtec/ce.cc
@@ -1,5 +1,5 @@
-// Copyright (C) 2010, 2011  Laboratoire de Recherche et Développement de
-// l'Epita (LRDE).
+// Copyright (C) 2010, 2011, 2013 Laboratoire de Recherche et
+// Développement de l'Epita (LRDE).
 // Copyright (C) 2004, 2005  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
@@ -27,8 +27,6 @@ namespace spot
 {
   namespace
   {
-    typedef Sgi::hash_set<const state*,
-			  state_ptr_hash, state_ptr_equal> state_set;
     class shortest_path: public bfs_steps
     {
     public:
diff --git a/src/tgbaalgos/reducerun.cc b/src/tgbaalgos/reducerun.cc
index ec04e5b9c..f19da6ff5 100644
--- a/src/tgbaalgos/reducerun.cc
+++ b/src/tgbaalgos/reducerun.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2011 Laboratoire de Recherche et Développement
+// Copyright (C) 2011, 2013 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 // Copyright (C) 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -29,8 +29,6 @@ namespace spot
 {
   namespace
   {
-    typedef Sgi::hash_set<const state*,
-			  state_ptr_hash, state_ptr_equal> state_set;
     class shortest_path: public bfs_steps
     {
     public: