src/industry_gui.cpp
changeset 8766 c86cfa3a7580
parent 8760 ce0891c412ce
child 8845 e0eac76d3d16
--- a/src/industry_gui.cpp	Sun Jan 13 13:53:53 2008 +0000
+++ b/src/industry_gui.cpp	Sun Jan 13 14:37:30 2008 +0000
@@ -22,6 +22,7 @@
 #include "strings_func.h"
 #include "map_func.h"
 #include "player_func.h"
+#include "settings_type.h"
 
 #include "table/strings.h"
 #include "table/sprites.h"