--- a/main_gui.c	Sat Apr 29 09:47:43 2006 +0000
+++ b/main_gui.c	Sat Apr 29 14:31:16 2006 +0000
@@ -580,7 +580,7 @@
 	}
 }
 
-extern void DrawPlayerIcon(int p, int x, int y);
+extern void DrawPlayerIcon(PlayerID pid, int x, int y);
 
 static void PlayerMenuWndProc(Window *w, WindowEvent *e)
 {