--- a/src/ai/ai_threads.h	Mon Feb 25 09:23:53 2008 +0000
+++ b/src/ai/ai_threads.h	Mon Feb 25 14:03:14 2008 +0000
@@ -14,6 +14,4 @@
 void AI_RunTick(PlayerID player);
 void AI_StopPlayer(PlayerID player);
 
-bool AI_GetCallbackResult(PlayerID player);
-
 #endif /* AI_THREADS_H */