--- ray/src/gen/replmarks.c	2003/06/08 12:03:10	2.7
+++ ray/src/gen/replmarks.c	2003/10/27 10:27:25	2.8
@@ -13,6 +13,7 @@ static const char RCSid[] = "$Id";
 #include <stdio.h>
 
 #include "platform.h"
+#include "rtprocess.h"
 #include "fvect.h"
 
 #ifdef  M_PI
@@ -147,7 +148,7 @@ cvcomm(fname, fin)		/* convert a command */
 char	*fname;
 FILE	*fin;
 {
-	FILE	*pin, *popen();
+	FILE	*pin;
 	char	buf[512], *fgetline();
 
 	fgetline(buf, sizeof(buf), fin);