src/main_gui.cpp
changeset 10445 2dd7d9d0a957
parent 10434 d6accd017341
child 10461 48556aee54da
--- a/src/main_gui.cpp	Wed May 07 09:07:19 2008 +0000
+++ b/src/main_gui.cpp	Wed May 07 13:10:15 2008 +0000
@@ -30,6 +30,7 @@
 #include "settings_type.h"
 #include "toolbar_gui.h"
 #include "variables.h"
+#include "tilehighlight_func.h"
 
 #include "network/network.h"
 #include "network/network_data.h"