Changes in lemon/arg_parser.cc [1397:d7e25df22e88:956:141f9c0db4a3] in lemon

File:

• lemon/arg_parser.cc (modified) (1 diff)

lemon/arg_parser.cc

@@ -222 +222 @@
   {
     Opts::iterator o = _opts.find(opt);
+    Opts::iterator s = _opts.find(syn);
     LEMON_ASSERT(o!=_opts.end(), "Unknown option: '"+opt+"'");
-    LEMON_ASSERT(_opts.find(syn)==_opts.end(),
-                 "Option already used: '"+syn+"'");
+    LEMON_ASSERT(s==_opts.end(), "Option already used: '"+syn+"'");
     ParData p;
     p.help=opt;