-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.