src/gui.h
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);