1 files changed, 5 insertions, 1 deletions
diff --git a/rcfile_y.y b/rcfile_y.y
index 7face2c3..84c0d000 100644
--- a/rcfile_y.y
+++ b/rcfile_y.y
@@ -133,7 +133,11 @@ serv_option	: AKA alias_list
  * to keep working.
  */
 userspecs	: user1opts		{record_current(); user_reset();}
-		| user1opts explicits	{record_current(); user_reset();}
+		| user1opts explicits	
+					{
+						record_current(); user_reset();
+	fprintf(stderr, "Warning: user entry with no `user' keyword\n");
+					}
 		| explicits
 		;