* src/tgba/tgbaexplicit.hh: Fix hash_map definition to please old g++.

bf765480 · Alexandre Duret-Lutz · b8ed85a3 · bf765480
Commit bf765480 authored Oct 20, 2012 by Alexandre Duret-Lutz
--- 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)