src/toolbar_gui.cpp
changeset 10445 2dd7d9d0a957
parent 10434 d6accd017341
child 10450 0b56b6553350
--- a/src/toolbar_gui.cpp	Wed May 07 09:07:19 2008 +0000
+++ b/src/toolbar_gui.cpp	Wed May 07 13:10:15 2008 +0000
@@ -37,6 +37,7 @@
 #include "functions.h"
 #include "console.h"
 #include "news_gui.h"
+#include "tilehighlight_func.h"
 
 #include "network/network.h"
 #include "network/network_gui.h"