diff -r 4570b91c81aa -r 00e02ecf5835 ai/ai.h
--- a/ai/ai.h	Sun Oct 23 14:38:09 2005 +0000
+++ b/ai/ai.h	Mon Oct 24 05:51:23 2005 +0000
@@ -37,8 +37,8 @@
 VARDEF AIPlayer _ai_player[MAX_PLAYERS];
 
 // ai.c
-void AI_StartNewAI(byte player);
-void AI_PlayerDied(byte player);
+void AI_StartNewAI(PlayerID player);
+void AI_PlayerDied(PlayerID player);
 void AI_RunGameLoop(void);
 void AI_Initialize(void);
 void AI_Uninitialize(void);