--- a/player.h	Thu Oct 20 17:23:33 2005 +0000
+++ b/player.h	Thu Oct 20 17:43:13 2005 +0000
@@ -219,7 +219,8 @@
 	return _local_player == _current_player;
 }
 
-byte GetPlayerRailtypes(int p);
+void DeletePlayerWindows(PlayerID pi);
+byte GetPlayerRailtypes(PlayerID p);
 
 /** Finds out if a Player has a certain railtype available
   */