-
Alexandre Duret-Lutz authored
vr_map, free_annonymous_list_of_type>: Redeclare as std::map, instead of Sgi::hash_map. It proved to be faster. * src/tgbaalgos/ltl2tgba_fm.cc (translate_dict) <fv_map, vf_map>: Use the same definition as in bdd_dict. * tgbaalgos/reachiter.hh, tgbaalgos/replayrun.cc: Explicitly include misc/hash.hh.
752d4afc