1 files changed, 1 insertions, 0 deletions
diff --git a/rcfile_l.l b/rcfile_l.l
index 8ce776bf..d729e3ed 100644
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -90,6 +90,7 @@ ssh		{ SETSTATE(0); return SSH; }
 timeout		{ return TIMEOUT;}
 envelope	{ return ENVELOPE; }
 qvirtual	{ return QVIRTUAL; }
+principal	{ return PRINCIPAL; }
 
 user(name)?	{SETSTATE(NAME); return USERNAME; }
 pass(word)?	{SETSTATE(NAME); return PASSWORD; }