-
Alexandre Duret-Lutz authored
* src/ltlparse/ltlparse.yy (rationalexp): Allow ->, <->, and xor, in rational expressions as long as they apply only to Boolean formulae. * src/tgbaalgos/ltl2tgba_fm.cc (ratexp_trad_visitor): Adjust assert in handling of unop::Not.
eab91aab