src/player_gui.cpp
changeset 8270 e7c342f6b14c
parent 8264 b1e85998c7d3
child 8284 ebdc5ba08874
--- a/src/player_gui.cpp	Sun Jan 13 13:53:53 2008 +0000
+++ b/src/player_gui.cpp	Sun Jan 13 14:37:30 2008 +0000
@@ -27,6 +27,7 @@
 #include "window_func.h"
 #include "date_func.h"
 #include "string_func.h"
+#include "settings_type.h"
 
 #include "table/sprites.h"
 #include "table/strings.h"