src/video/dedicated_v.cpp
branchNewGRF_ports
changeset 10731 67db0d431d5e
parent 10724 68a692eacf22
child 10991 d8811e327d12
--- a/src/video/dedicated_v.cpp	Mon May 26 20:45:25 2008 +0000
+++ b/src/video/dedicated_v.cpp	Tue May 27 00:50:55 2008 +0000
@@ -11,7 +11,7 @@
 #include "../gfx_func.h"
 #include "../network/network.h"
 #include "../network/network_internal.h"
-#include "../console.h"
+#include "../console_func.h"
 #include "../variables.h"
 #include "../genworld.h"
 #include "../fileio.h"