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);