diff -r 548f498fa059 -r 0c941c524b47 lemon/arg_parser.h
--- a/lemon/arg_parser.h	Fri Apr 20 17:26:38 2007 +0000
+++ b/lemon/arg_parser.h	Tue Apr 24 09:39:01 2007 +0000
@@ -332,9 +332,11 @@
 	Opts::iterator i = _parser._opts.find(_name);
 	LEMON_ASSERT(i==_parser._opts.end(),
 		     std::string()+"Unkown option: '"+_name+"'");
-	LEMON_ASSERT(i->second.type!=ArgParser::DOUBLE,
+	LEMON_ASSERT(i->second.type!=ArgParser::DOUBLE &&
+		     i->second.type!=ArgParser::INTEGER,
 		     std::string()+"'"+_name+"' is a floating point option");
-	return *(i->second.double_p);
+	return i->second.type==ArgParser::DOUBLE ?
+	  *(i->second.double_p) : *(i->second.int_p);
       }
       ///\e
       operator int()