1 files changed, 1 insertions, 0 deletions
diff --git a/rcfile_l.l b/rcfile_l.l
index d52d6389..cfb71a0b 100644
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -33,6 +33,7 @@ aka		{ return AKA; }
 local(domains)	{ return LOCALDOMAINS; }
 proto(col)? 	{ return PROTOCOL; }
 port		{ return PORT; }
+interval		{ return INTERVAL; }
 auth(enticate)?	{ return AUTHENTICATE; }
 kerberos_v4	{ return KERBEROS4; }
 kerberos	{ return KERBEROS4; }