--- ray/src/px/ra_avs.c	1993/11/18 09:55:29	2.6
+++ ray/src/px/ra_avs.c	1993/12/01 10:02:15	2.7
@@ -78,6 +78,8 @@ char  *argv[];
 					/* get their image resolution */
 		xmax = getint(4, stdin);
 		ymax = getint(4, stdin);
+		if (feof(stdin))
+			quiterr("empty input file");
 					/* put our header */
 		printargs(i, argv, stdout);
 		fputformat(COLRFMT, stdout);