diff -r 7a96bd401351 -r 6a0342b3c519 options.cpp --- a/options.cpp Sun Jan 30 12:58:47 2005 +0000 +++ b/options.cpp Tue Jun 13 08:49:12 2006 +0000 @@ -86,7 +86,7 @@ } if (isFile) { - cout << "Error: Unknown argument "<<*itarg<