1 files changed, 3 insertions, 0 deletions
diff --git a/rcfile_l.l b/rcfile_l.l
index 3d4040d5..18ac7278 100644
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -166,6 +166,9 @@ ssl		{ return SSL; }
 sslkey		{ return SSLKEY; }
 sslcert		{ return SSLCERT; }
 sslproto	{ return SSLPROTO; }
+sslcertck	{ return SSLCERTCK; }
+sslcertpath	{ return SSLCERTPATH; }
+sslfingerprint	{ return SSLFINGERPRINT; }
 checkalias	{ return CHECKALIAS; }
 
 limit		{ return LIMIT; }