src/ai/ai.h
changeset 8211 29a8510dfd62
parent 8131 160939e24ed3
child 8254 1496654ca5e7
--- a/src/ai/ai.h	Mon Jan 07 00:45:05 2008 +0000
+++ b/src/ai/ai.h	Mon Jan 07 00:57:19 2008 +0000
@@ -7,6 +7,7 @@
 #include "../player.h"
 #include "../command_type.h"
 #include "../core/random_func.hpp"
+#include "../settings_type.h"
 
 /* How DoCommands look like for an AI */
 struct AICommand {