diff -r f9d6845d5970 -r 1e4c5406cd1a src/main_gui.cpp
--- a/src/main_gui.cpp	Sun Jan 21 08:04:14 2007 +0000
+++ b/src/main_gui.cpp	Sun Jan 21 11:49:18 2007 +0000
@@ -538,8 +538,6 @@
 	}
 }
 
-extern void DrawPlayerIcon(PlayerID pid, int x, int y);
-
 static void PlayerMenuWndProc(Window *w, WindowEvent *e)
 {
 	switch (e->event) {