1 files changed, 1 insertions, 0 deletions
diff --git a/rcfile_l.l b/rcfile_l.l
index 4e57fdef..2be9938b 100644
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -64,6 +64,7 @@ monitor		{ return MONITOR; }
 batchlimit	{ return BATCHLIMIT; }
 fetchlimit	{ return FETCHLIMIT; }
 expunge		{ return EXPUNGE; }
+properties	{ return PROPERTIES; }
 
 is		{ return IS; }
 here		{ return HERE; }