1 files changed, 2 insertions, 1 deletions
diff --git a/rcfile_y.y b/rcfile_y.y
index 91de6146..70615661 100644
--- a/rcfile_y.y
+++ b/rcfile_y.y
@@ -362,7 +362,8 @@ user_option	: TO mapping_list HERE
 		| NO MIMEDECODE		{current.mimedecode  = FLAG_FALSE;}
 		| NO IDLE		{current.idle        = FLAG_FALSE;}
 
-		| NO SSL 	        {current.use_ssl     = FLAG_FALSE;}
+		| NO SSL		{current.use_ssl     = FLAG_FALSE;}
+		| NO SSLCERTCK		{current.sslcertck   = FLAG_FALSE;}
 
 		| LIMIT NUMBER		{current.limit       = NUM_VALUE_IN($2);}
 		| WARNINGS NUMBER	{current.warnings    = NUM_VALUE_IN($2);}