1 files changed, 1 insertions, 0 deletions
diff --git a/rcfile_l.l b/rcfile_l.l
index a48b97d8..27b7d5d1 100644
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -32,6 +32,7 @@ port		{ return PORT; }
 auth(enticate)?	{ return AUTHENTICATE; }
 kerberos	{ return KERBEROS; }
 timeout		{ return TIMEOUT;}
+envelope	{ return ENVELOPE; }
 
 user(name)?	{ return USERNAME; }
 pass(word)?	{ return PASSWORD; }