diff -r 00769a5f0f5d -r 7edc220d6244 tools/dimacs-solver.cc
--- a/tools/dimacs-solver.cc	Tue Sep 19 15:19:48 2017 +0200
+++ b/tools/dimacs-solver.cc	Wed May 15 13:33:55 2019 +0200
@@ -221,11 +221,13 @@
       if (!output) {
         throw IoError("Cannot open the file for writing", ap.files()[1]);
       }
+      // fall through
     case 1:
       input.open(ap.files()[0].c_str());
       if (!input) {
         throw IoError("File cannot be found", ap.files()[0]);
       }
+      // fall through
     case 0:
       break;
     default:
@@ -250,6 +252,7 @@
           break;
         case DimacsDescriptor::SP:
           std::cout << "sp";
+          break;
         case DimacsDescriptor::MAT:
           std::cout << "mat";
           break;