diff -r 6bdf79ffb022 -r 7e9d9e40e16f src/ai/ai.h --- a/src/ai/ai.h Mon May 26 13:52:59 2008 +0000 +++ b/src/ai/ai.h Mon May 26 17:40:33 2008 +0000 @@ -11,6 +11,7 @@ void AI_PlayerDied(PlayerID player); void AI_RunGameLoop(); void AI_Initialize(); +void AI_KillAll(); void AI_Uninitialize(); bool AI_AllowNewAI(); void AI_ForceAI(const char *forced_ai);