src/intro_gui.cpp
changeset 8270 e7c342f6b14c
parent 8264 b1e85998c7d3
child 8364 2b17d60da56f
--- a/src/intro_gui.cpp	Sun Jan 13 13:53:53 2008 +0000
+++ b/src/intro_gui.cpp	Sun Jan 13 14:37:30 2008 +0000
@@ -17,6 +17,7 @@
 #include "window_func.h"
 #include "fios.h"
 #include "gfx_func.h"
+#include "settings_type.h"
 
 #include "table/strings.h"
 #include "table/sprites.h"