--- 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) {