-
Alexandre Duret-Lutz authored
Failures could be reported against "Comp(Ni)*Comp(Pj)" when it was really "Comp(Nj)*Comp(Pi)" that failed. * bin/ltlcross.cc: Here. * NEWS: Mention the bug.
a2f0b228
Failures could be reported against "Comp(Ni)*Comp(Pj)" when it was really "Comp(Nj)*Comp(Pi)" that failed. * bin/ltlcross.cc: Here. * NEWS: Mention the bug.