players.c
changeset 2475 8443e1eefe1b
parent 2469 1bfbb0dc0b75
child 2484 8e0c88a833fb
--- a/players.c	Fri Sep 30 09:58:59 2005 +0000
+++ b/players.c	Fri Sep 30 20:37:25 2005 +0000
@@ -185,7 +185,7 @@
 	}
 }
 
-void InvalidatePlayerWindows(Player *p)
+void InvalidatePlayerWindows(const Player *p)
 {
 	PlayerID pid = p->index;
 
@@ -568,7 +568,7 @@
 }
 
 // index is the next parameter in _decode_parameters to set up
-StringID GetPlayerNameString(PlayerID player, PlayerID index)
+StringID GetPlayerNameString(PlayerID player, uint index)
 {
 	if (IS_HUMAN_PLAYER(player) && player < MAX_PLAYERS) {
 		SetDParam(index, player+1);