Fix compilation with g++-4.4.7.

* src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/reducerun.cc: Remove
superfluous definition of state_set.  Reported by František Blahoudek.

src/tgbaalgos/gtec/ce.cc

-// Copyright (C) 2010, 2011  Laboratoire de Recherche et Développement de
-// l'Epita (LRDE).
+// Copyright (C) 2010, 2011, 2013 Laboratoire de Recherche et
+// Dveloppement de l'Epita (LRDE).
 // Copyright (C) 2004, 2005  Laboratoire d'Informatique de Paris 6 (LIP6),
 // dpartement Systmes Rpartis Coopratifs (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:

src/tgbaalgos/reducerun.cc

-// 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: