# HG changeset patch
# User Alpar Juttner <alpar@cs.elte.hu>
# Date 1521817746 -3600
# Node ID f0f15d07bf51daff7fa1a76bb77d81ecdea51fb0
# Parent  6d1255299e79be3c6a6425a61c1ddeae41d750c8# Parent  ad22262328b3fbdec2b41f70fa65a65b9ccf752b
Merge bugfix #609 to branch 1.3

diff -r 6d1255299e79 -r f0f15d07bf51 tools/dimacs-solver.cc
--- a/tools/dimacs-solver.cc	Tue Sep 19 15:22:08 2017 +0200
+++ b/tools/dimacs-solver.cc	Fri Mar 23 16:09:06 2018 +0100
@@ -222,11 +222,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:
@@ -251,6 +253,7 @@
           break;
         case DimacsDescriptor::SP:
           std::cout << "sp";
+          break;
         case DimacsDescriptor::MAT:
           std::cout << "mat";
           break;