-
Alexandre Duret-Lutz authored
* src/twaalgos/translate.cc, src/bin/ltl2tgba.cc: Do not assume that unambiguous is incompatible with deterministic.
1ef3e5f3
* src/twaalgos/translate.cc, src/bin/ltl2tgba.cc: Do not assume that unambiguous is incompatible with deterministic.