From bf765480b1014caef3f819e1d49d70b1c4c05552 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 20 Oct 2012 12:18:06 +0200
Subject: [PATCH] * src/tgba/tgbaexplicit.hh: Fix hash_map definition to please
 old g++.

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

diff --git a/src/tgba/tgbaexplicit.hh b/src/tgba/tgbaexplicit.hh
index 46b2c8197..633c12610 100644
--- a/src/tgba/tgbaexplicit.hh
+++ b/src/tgba/tgbaexplicit.hh
@@ -375,7 +375,8 @@ namespace spot
     {
       typedef typename transitions_t::iterator trans_t;
       typedef std::map<int, trans_t> acc_map;
-      typedef Sgi::hash_map<const spot::state*, acc_map> dest_map;
+      typedef Sgi::hash_map<const spot::state*, acc_map,
+			    ptr_hash<spot::state> > dest_map;
 
       typename ls_map::iterator i;
       for (i = ls_.begin(); i != ls_.end(); ++i)