-
Alexandre Duret-Lutz authored
Reported by František Blahoudek. * src/bin/genltl.cc (R_n): Really generate (GFp1 || FGp2), not (GFp1 || GFp2). * NEWS: Mention the bug. * THANKS: Update.
e2378b49
Reported by František Blahoudek. * src/bin/genltl.cc (R_n): Really generate (GFp1 || FGp2), not (GFp1 || GFp2). * NEWS: Mention the bug. * THANKS: Update.