-
Alexandre Duret-Lutz authored
* src/twaalgos/ltl2tgba_fm.cc: Use is_false() and is_true() instead of comparisons to formula::ff() and formula:tt().
6a3c3095
* src/twaalgos/ltl2tgba_fm.cc: Use is_false() and is_true() instead of comparisons to formula::ff() and formula:tt().