-
Alexandre Duret-Lutz authored
* src/tgbaalgos/ltl2tgba_fm.cc (ratexp_trad_visitor::visit): Fix the "deterministic case" of []->, and merge it with the non-deterministic case.
aef6c1a0
* src/tgbaalgos/ltl2tgba_fm.cc (ratexp_trad_visitor::visit): Fix the "deterministic case" of []->, and merge it with the non-deterministic case.