* src/bin/common_finput.cc, src/bin/genltl.cc, src/bin/ltlcross.cc, src/bin/randltl.cc: Simplify.
Attach a file by drag & drop or click to upload
Alexandre Duret-Lutz authored