1 files changed, 1 insertions, 1 deletions
diff --git a/rcfile_l.l b/rcfile_l.l
index 059b07c2..9a7f33fc 100644
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -15,7 +15,7 @@ int prc_lineno = 1;
 
 /* this doesn't work with Linux lex, see the INSTALL file */
 %o 5000
-%a 3000
+%a 4000
 
 WS	[ \t]*