From 561b85210681ac9d39337b5df75982427a1eb5fa Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 3 Oct 2012 09:30:04 +0200
Subject: [PATCH] * src/tgba/tgbaexplicit.hh: Fix definition of the new alias_
 map.

---
 src/tgba/tgbaexplicit.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tgba/tgbaexplicit.hh b/src/tgba/tgbaexplicit.hh
index 480308125..ed875c417 100644
--- a/src/tgba/tgbaexplicit.hh
+++ b/src/tgba/tgbaexplicit.hh
@@ -263,7 +263,7 @@ namespace spot
     typedef State state;
   protected:
     typedef Sgi::hash_map<label_t, State, label_hash_t> ls_map;
-    typedef Sgi::hash_map<label_t, State*> alias_map;
+    typedef Sgi::hash_map<label_t, State*, label_hash_t> alias_map;
     typedef Sgi::hash_map<const State*, label_t, ptr_hash<State> > sl_map;
 
   public: