src/gui.h
changeset 8119 52b48108425a
parent 8111 02d19f43eea6
child 8121 3bc6351e7369
--- a/src/gui.h	Fri Dec 21 22:11:55 2007 +0000
+++ b/src/gui.h	Fri Dec 21 22:50:51 2007 +0000
@@ -7,6 +7,7 @@
 
 #include "string.h"
 #include "window_type.h"
+#include "gfx.h"
 
 /* main_gui.cpp */
 void CcPlaySound10(bool success, TileIndex tile, uint32 p1, uint32 p2);