• Alexandre Duret-Lutz's avatar
    80 columns. · aa230d1f
    Alexandre Duret-Lutz authored
    * src/ltlvisit/apcollect.hh, src/taalgos/minimize.cc,
    src/taalgos/tgba2ta.cc, src/tgbatest/ltl2tgba.cc: Here.
    aa230d1f