diff -r 7b44eea654d0 -r 7cd965d2257f lemon/arg_parser.cc --- a/lemon/arg_parser.cc Tue Apr 01 16:25:51 2008 +0100 +++ b/lemon/arg_parser.cc Thu Apr 03 11:10:49 2008 +0100 @@ -194,6 +194,7 @@ { Opts::iterator i = _opts.find(opt); LEMON_ASSERT(i!=_opts.end(), "Unknown option: '"+opt+"'"); + if(i==_opts.end()) std::cout << "JAJJJJJJJJ\n"; LEMON_ASSERT(!(i->second.ingroup), "Option already in option group: '"+opt+"'"); GroupData &g=_groups[group];