1.1 --- a/tools/dimacs-solver.cc	Fri Aug 09 11:29:40 2013 +0200
     1.2 +++ b/tools/dimacs-solver.cc	Thu Mar 22 18:46:56 2018 +0100
     1.3 @@ -222,11 +222,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:
    1.17 @@ -251,6 +253,7 @@
    1.18            break;
    1.19          case DimacsDescriptor::SP:
    1.20            std::cout << "sp";
    1.21 +          break;
    1.22          case DimacsDescriptor::MAT:
    1.23            std::cout << "mat";
    1.24            break;