--- a/src/misc_gui.cpp	Sun Jan 21 08:04:14 2007 +0000
+++ b/src/misc_gui.cpp	Sun Jan 21 11:49:18 2007 +0000
@@ -1788,8 +1788,6 @@
 {   WIDGETS_END},
 };
 
-extern void DrawPlayerIcon(PlayerID pid, int x, int y);
-
 static void CheatsWndProc(Window *w, WindowEvent *e)
 {
 	switch (e->event) {