changeset 10444 | 3876060cdef7 |
parent 10435 | 0e2b98df9707 |
child 10466 | 54dfadd481b0 |
--- a/src/gui.h Wed May 07 08:38:56 2008 +0000 +++ b/src/gui.h Wed May 07 09:07:19 2008 +0000 @@ -11,6 +11,7 @@ #include "economy_type.h" #include "tile_type.h" #include "strings_type.h" +#include "transport_type.h" /* main_gui.cpp */ void CcPlaySound10(bool success, TileIndex tile, uint32 p1, uint32 p2);