-
Alexandre Duret-Lutz authored
* src/tgbaalgos/minimize.cc (build_result): Speed it up by removing one useless loop, creating many duplicate transitions that had to be merged.
de4166f4
To find the state of this project's repository at the time of any of these versions, check out the tags.