-
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