• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/emptiness.cc, · 0fd665f3
    Alexandre Duret-Lutz authored
    src/tgbaalgos/emptiness.hh (print_tgba_run): Take the tgba*
    argument before the tgba_run* argument (for consistency with
    replay_tgba_run).
    * src/tgbatest/ltl2tgba.cc, iface/gspn/ltlgspn.cc: Adjust
    calls to print_tgba_run().
    0fd665f3