fix // comments at end of file (ie, no trailing \n)

This commit is contained in:
Bill Currie 2001-06-27 20:47:41 +00:00
parent 9c30c0c455
commit 774a1fe6cd

View file

@ -46,7 +46,7 @@ m ([\-+]?)
} while (c != '/' && c != EOF);
}
"//".*$ /* nothing to do */
"//".* /* nothing to do */
{DIGIT}+ {
yylval.int_val = atoi (yytext);