-
Alexandre Duret-Lutz authored
* src/hoaparse/hoaparse.yy: If we have multiple initial states, but one of them has no incoming edge, use this state instead of the fake initial state we normally add. * src/tgbatest/hoaparse.test: Add test case.
a89b9d36