changeset 135 | 6e7aee618f03 |
parent 88 | 18444049848b |
child 137 | 483bc6ed7292 |
1.1 --- a/lemon/arg_parser.cc Thu Apr 17 15:18:45 2008 +0100 1.2 +++ b/lemon/arg_parser.cc Thu Apr 17 15:54:30 2008 +0100 1.3 @@ -194,6 +194,7 @@ 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];