--- ray/src/rt/devtable.c	2003/02/25 02:47:22	2.5
+++ ray/src/rt/devtable.c	2004/03/30 16:13:01	2.7
@@ -1,5 +1,5 @@
 #ifndef lint
-static const char	RCSid[] = "$Id: devtable.c,v 2.5 2003/02/25 02:47:22 greg Exp $";
+static const char	RCSid[] = "$Id: devtable.c,v 2.7 2004/03/30 16:13:01 schorsch Exp $";
 #endif
 /*
  *  devtable.c - device table for rview.
@@ -7,13 +7,14 @@ static const char	RCSid[] = "$Id: devtable.c,v 2.5 200
 
 #include "copyright.h"
 
-#include  "color.h"
+#include  <stdio.h>
 
+#include  "color.h"
 #include  "driver.h"
 
 char  dev_default[] = "x11";
 
-extern struct driver  *x11_init();
+extern dr_initf_t x11_init; /* XXX this should be in a seperate header file */
 
 struct device  devtable[] = {			/* supported devices */
 	{"slave", "Slave driver", slave_init},