diff -r 1cc73bd7ee1f -r e95081c21da2 options.cpp --- a/options.cpp Tue Sep 05 09:47:13 2006 +0000 +++ b/options.cpp Tue Sep 05 09:47:14 2006 +0000 @@ -86,7 +86,7 @@ } if (isFile) { - cout << "Error: Unknown argument "<<*itarg<