diff -r 57167d92e96c -r c8d0179a32a2 tools/dimacs-to-lgf.cc
--- a/tools/dimacs-to-lgf.cc	Fri Mar 23 15:43:30 2018 +0100
+++ b/tools/dimacs-to-lgf.cc	Wed Oct 17 19:22:52 2018 +0200
@@ -73,11 +73,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: