for consistency with ltlfilt * src/bin/autfilt.cc, src/bin/randaut.cc: Here.
Attach a file by drag & drop or click to upload
Alexandre Duret-Lutz authored