-
Alexandre Duret-Lutz authored
* src/misc/hash.hh (identity_hash): New function. * src/tgba/tgbaexplicit.hh (tgba_explicit_number): Use identity_hash<int> instead of std::tr1::hash<int> that does not exist with g++-3.3.
b39e68c5
* src/misc/hash.hh (identity_hash): New function. * src/tgba/tgbaexplicit.hh (tgba_explicit_number): Use identity_hash<int> instead of std::tr1::hash<int> that does not exist with g++-3.3.