diff -r cd72eae05bdf -r 3c00344f49c9 lemon/arg_parser.cc
--- a/lemon/arg_parser.cc	Mon Jul 16 16:21:40 2018 +0200
+++ b/lemon/arg_parser.cc	Wed Oct 17 19:14:07 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;