--- ray/src/hd/rhd_x11.c	2005/07/24 19:53:08	3.41
+++ ray/src/hd/rhd_x11.c	2006/06/07 17:52:04	3.42
@@ -1,5 +1,5 @@
 #ifndef lint
-static const char	RCSid[] = "$Id: rhd_x11.c,v 3.41 2005/07/24 19:53:08 greg Exp $";
+static const char	RCSid[] = "$Id: rhd_x11.c,v 3.42 2006/06/07 17:52:04 schorsch Exp $";
 #endif
 /*
  * X11 driver for holodeck display.
@@ -295,7 +295,8 @@ dev_view(			/* assign new driver view */
 
 extern void
 dev_section(		/* add octree for geometry rendering */
-	char	*ofn
+	char	*gfn,
+	char	*pfn
 )
 {
 	/* unimplemented */