-
Alexandre Duret-Lutz authored
* src/tgbatest/ltl2tgba.cc: Fix some typos, and factor the second call to scc_filter when simulations are used.
2ea652d3
* src/tgbatest/ltl2tgba.cc: Fix some typos, and factor the second call to scc_filter when simulations are used.