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);