1 files changed, 2 insertions, 0 deletions
diff --git a/rcfile_l.l b/rcfile_l.l
index a6bb0cfb..9ae0fcfa 100644
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -67,6 +67,8 @@ options		{/* EMPTY */}
 
 (#.*)?\\?\n	{ prc_lineno++;	}   /* newline is ignored */
 
+[0-9]+		{ yylval.number = atoi(yytext); return NUMBER; }
+
 \"[^\"]*\"	{
 			yytext[strlen(yytext)-1] = '\0';
 			yylval.sval = (char *) strdup(yytext+1);