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