From: Peter Kovacs <kpeter@inf.elte.hu>
Date: Thu, 22 Mar 2018 18:46:56 +0100
Subject: Add missing break statement to dimacs-solver (#609)

---
 tools/dimacs-solver.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/dimacs-solver.cc b/tools/dimacs-solver.cc
index 60da233..0ccbcd0 100644
--- a/tools/dimacs-solver.cc
+++ b/tools/dimacs-solver.cc
@@ -222,11 +222,13 @@ int main(int argc, const char *argv[]) {
       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 @@ int main(int argc, const char *argv[]) {
           break;
         case DimacsDescriptor::SP:
           std::cout << "sp";
+          break;
         case DimacsDescriptor::MAT:
           std::cout << "mat";
           break;