--- ray/src/px/pvalue.c	2003/06/05 19:29:34	2.18
+++ ray/src/px/pvalue.c	2003/06/26 00:58:10	2.21
@@ -1,5 +1,5 @@
 #ifndef lint
-static const char RCSid[] = "$Id: pvalue.c,v 2.18 2003/06/05 19:29:34 schorsch Exp $";
+static const char RCSid[] = "$Id: pvalue.c,v 2.21 2003/06/26 00:58:10 schorsch Exp $";
 #endif
 /*
  *  pvalue.c - program to print pixel values.
@@ -10,11 +10,10 @@ static const char RCSid[] = "$Id: pvalue.c,v 2.18 2003
 #include  <time.h>
 
 #include  "standard.h"
+#include  "platform.h"
 #include  "color.h"
 #include  "resolu.h"
 
-typedef	unsigned short uint16;	/* sizeof (uint16) must == 2 */
-
 #define	 min(a,b)		((a)<(b)?(a):(b))
 
 				/* what to put out (also RED, GRN, BLU) */
@@ -390,7 +389,7 @@ pixtoval()				/* convert picture to values */
 	register COLOR	*scanln;
 	int  dogamma;
 	COLOR  lastc;
-	FLOAT  hv[2];
+	RREAL  hv[2];
 	int  startprim, endprim;
 	long  startpos;
 	int  y;