-
Alexandre Duret-Lutz authored
* src/tgba/tgbatba.cc (tgba_tba_proxy_succ_iterator::sync_): Move the optimization step added by the previous patch outside the before the bddtrue check, so that it also applies to accepting states in SBA.
52faa81a
To find the state of this project's repository at the time of any of these versions, check out the tags.