src/industry_gui.cpp
changeset 8612 6414fc21c2f3
parent 8610 17cc343a23dd
child 8617 931e0970d509
--- a/src/industry_gui.cpp	Fri Dec 21 21:16:14 2007 +0000
+++ b/src/industry_gui.cpp	Fri Dec 21 21:50:46 2007 +0000
@@ -13,7 +13,7 @@
 #include "window_gui.h"
 #include "textbuf_gui.h"
 #include "gfx.h"
-#include "command.h"
+#include "command_func.h"
 #include "viewport.h"
 #include "industry.h"
 #include "town.h"