src/gui.h
changeset 8131 160939e24ed3
parent 8124 59aee7f98ff9
child 8138 dbfdc08fa6b9
--- a/src/gui.h	Tue Dec 25 09:48:53 2007 +0000
+++ b/src/gui.h	Tue Dec 25 11:26:07 2007 +0000
@@ -8,6 +8,7 @@
 #include "window_type.h"
 #include "vehicle_type.h"
 #include "gfx_type.h"
+#include "economy_type.h"
 
 /* main_gui.cpp */
 void CcPlaySound10(bool success, TileIndex tile, uint32 p1, uint32 p2);