--- a/src/lex.l	Wed Dec 05 18:48:43 2001 +0000
+++ b/src/lex.l	Thu Jan 03 18:31:09 2002 +0000
@@ -719,13 +719,11 @@
 . {
     current_input_column++;
 
-    if (static_cast<int> (yytext[0]) == EOF)
-      error ("unexpected end of file near line %d, column %d",
-	     input_line_number, current_input_column);
-    else
-      error ("invalid character `%s' (ASCII %d) near line %d, column %d",
-	     undo_string_escape (yytext[0]), static_cast<int> (yytext[0]),
-	     input_line_number, current_input_column);
+    // EOF can't happen here (we catch it above).
+
+    error ("invalid character `%s' (ASCII %d) near line %d, column %d",
+	   undo_string_escape (yytext[0]), static_cast<int> (yytext[0]),
+	   input_line_number, current_input_column);
 
     return LEXICAL_ERROR;
   }