changeset 137 | 483bc6ed7292 |
parent 128 | 7cd965d2257f |
child 209 | 765619b7cbb2 |
1.1 --- a/lemon/arg_parser.cc Thu Apr 17 19:33:19 2008 +0200 1.2 +++ b/lemon/arg_parser.cc Fri Apr 18 06:20:32 2008 +0100 1.3 @@ -194,7 +194,6 @@ 1.4 { 1.5 Opts::iterator i = _opts.find(opt); 1.6 LEMON_ASSERT(i!=_opts.end(), "Unknown option: '"+opt+"'"); 1.7 - if(i==_opts.end()) std::cout << "JAJJJJJJJJ\n"; 1.8 LEMON_ASSERT(!(i->second.ingroup), 1.9 "Option already in option group: '"+opt+"'"); 1.10 GroupData &g=_groups[group];