src/ai/ai_threads.h
branchnoai
changeset 9724 b39bc69bb2f2
parent 9444 fd27df7ca2a0
child 9760 265fdd2130c3
--- a/src/ai/ai_threads.h	Wed Jan 09 18:11:12 2008 +0000
+++ b/src/ai/ai_threads.h	Sun Feb 03 20:17:54 2008 +0000
@@ -5,6 +5,8 @@
 #ifndef AI_THREADS_H
 #define AI_THREADS_H
 
+#include "../player_type.h"
+
 class AIController;
 
 void AI_StartPlayer(PlayerID player, AIController *controller);