-
Alexandre Duret-Lutz authored
* src/tgbaalgos/ltl2tgba_fm.cc (ltl_trad_visitor::visit): Honor exprop_ while handling the binop::UConcat case.
f618e6bc
* src/tgbaalgos/ltl2tgba_fm.cc (ltl_trad_visitor::visit): Honor exprop_ while handling the binop::UConcat case.