src/window_gui.h
changeset 8760 ce0891c412ce
parent 8750 fdd6054e7bae
child 8764 65746a5248ec
--- a/src/window_gui.h	Sun Jan 13 00:28:01 2008 +0000
+++ b/src/window_gui.h	Sun Jan 13 01:21:35 2008 +0000
@@ -9,6 +9,7 @@
 #include "vehicle_type.h"
 #include "viewport_type.h"
 #include "player_type.h"
+#include "strings_type.h"
 
 /**
  * The maximum number of windows that can be opened.