src/tree_gui.cpp
changeset 9659 187142ff9b6c
parent 9652 0405e98d8e96
child 9778 c5dd94ed7c16
--- a/src/tree_gui.cpp	Fri Jul 18 16:26:51 2008 +0000
+++ b/src/tree_gui.cpp	Fri Jul 18 16:40:29 2008 +0000
@@ -8,6 +8,7 @@
 #include "gfx_func.h"
 #include "tilehighlight_func.h"
 #include "player_func.h"
+#include "player_base.h"
 #include "command_func.h"
 #include "sound_func.h"
 #include "settings_type.h"