1.1 --- a/tools/dimacs-to-lgf.cc	Tue Sep 19 15:19:48 2017 +0200
     1.2 +++ b/tools/dimacs-to-lgf.cc	Wed May 15 13:33:55 2019 +0200
     1.3 @@ -73,11 +73,13 @@
     1.4        if (!output) {
     1.5          throw IoError("Cannot open the file for writing", ap.files()[1]);
     1.6        }
     1.7 +      // fall through
     1.8      case 1:
     1.9        input.open(ap.files()[0].c_str());
    1.10        if (!input) {
    1.11          throw IoError("File cannot be found", ap.files()[0]);
    1.12        }
    1.13 +      // fall through
    1.14      case 0:
    1.15        break;
    1.16      default: