1 files changed, 1 insertions, 1 deletions

diff --git a/rcfile_l.l b/rcfile_l.l
index 817504f3..5d904f13 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 6000
+%o 7000
 %a 4000
 %p 3000