--- ray/src/gen/replmarks.c	2003/03/10 17:26:26	2.6
+++ ray/src/gen/replmarks.c	2003/06/08 12:03:10	2.7
@@ -7,11 +7,12 @@ static const char RCSid[] = "$Id";
  *	Created:	17 Feb 1991	Greg Ward
  */
 
-#include <stdio.h>
 #include <stdlib.h>
 #include <ctype.h>
 #include <math.h>
+#include <stdio.h>
 
+#include "platform.h"
 #include "fvect.h"
 
 #ifdef  M_PI