-
* src/tgbaalgos/minimize.cc (minimize_dfa): Fix detection of the last iteration. An extra iteration case could be missed in case where a split generates only singletons, and yet predecessor classes need to be refined.
0ca40d72
* src/tgbaalgos/minimize.cc (minimize_dfa): Fix detection of the last iteration. An extra iteration case could be missed in case where a split generates only singletons, and yet predecessor classes need to be refined.