-
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
* src/tgbaalgos/minimize.cc (build_result): Speed it up by removing one useless loop, creating many duplicate transitions that had to be merged.