• Alexandre Duret-Lutz's avatar
    Fix errors reported by clang++-2.9. · 101b18b2
    Alexandre Duret-Lutz authored
    * src/evtgbaalgos/tgba2evtgba.cc (process_link): Fix prototype
    to match tgba_reachable_iterator::process_link.
    * src/ltlvisit/tunabbrev.hh: Add using super::visit, so that the
    other visit() method are in scope when we overload one.
    * src/tgba/tgbareduc.hh, src/tgba/tgbareduc.cc (start, end,
    process_link): Remove these empty methods.  The default
    implementations are empty too, and process_link had the
    wrong prototype.
    * src/tgbaalgos/reductgba_sim.hh, src/tgbaalgos/reductgba_sim.cc
    (start, end, process_link): Likewise.
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 380 KB