# HG changeset patch
# User Alpar Juttner <alpar@cs.elte.hu>
# Date 1539639562 -7200
# Node ID d7e25df22e88fc8e87577d75919c1291ea0cfae4
# Parent  61fdd06833a6db0a072b247b063a99f049dcf1e2
Fix warnings emitted by g++ 7.3.1 (#614)

diff -r 61fdd06833a6 -r d7e25df22e88 lemon/arg_parser.cc
--- a/lemon/arg_parser.cc	Mon Oct 15 23:22:18 2018 +0200
+++ b/lemon/arg_parser.cc	Mon Oct 15 23:39:22 2018 +0200
@@ -221,9 +221,9 @@
                                 const std::string &opt)
   {
     Opts::iterator o = _opts.find(opt);
-    Opts::iterator s = _opts.find(syn);
     LEMON_ASSERT(o!=_opts.end(), "Unknown option: '"+opt+"'");
-    LEMON_ASSERT(s==_opts.end(), "Option already used: '"+syn+"'");
+    LEMON_ASSERT(_opts.find(syn)==_opts.end(),
+                 "Option already used: '"+syn+"'");
     ParData p;
     p.help=opt;
     p.mandatory=false;
diff -r 61fdd06833a6 -r d7e25df22e88 tools/dimacs-to-lgf.cc
--- a/tools/dimacs-to-lgf.cc	Mon Oct 15 23:22:18 2018 +0200
+++ b/tools/dimacs-to-lgf.cc	Mon Oct 15 23:39:22 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: