• Alexandre Duret-Lutz's avatar
    Typo: rename automata_ as aut_. · 3fb29ce1
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/reachiter.hh, src/tgbaalgos/reachiter.cc,
    src/tgbaalgos/dotty.cc, src/tgbaalgos/dupexp.cc,
    src/tgbaalgos/lbtt.cc, src/tgbaalgos/neverclaim.cc,
    src/tgbaalgos/reductgba_sim.cc, src/tgbaalgos/reductgba_sim_del.cc,
    src/tgbaalgos/save.cc, src/tgbaalgos/sccfilter.cc,
    src/tgba/tgbareduc.cc, src/evtgbaalgos/tgba2evtgba.cc,
    src/kripke/kripkeprint.cc: Rename automata_ as aut_.
    3fb29ce1
sccfilter.cc 6.06 KB