-
Alexandre Duret-Lutz authored
* src/tgbaalgos/minimize.cc (minimize_dfa): Fix deletion of the state_set_map. It led to a crash when compiled with g++-3.3.
45d7c880
* src/tgbaalgos/minimize.cc (minimize_dfa): Fix deletion of the state_set_map. It led to a crash when compiled with g++-3.3.