diff -r 3953396b0fd7 -r 8da76dcb3287 src/dock_gui.cpp
--- a/src/dock_gui.cpp	Fri Dec 21 21:16:14 2007 +0000
+++ b/src/dock_gui.cpp	Fri Dec 21 21:50:46 2007 +0000
@@ -16,7 +16,7 @@
 #include "viewport.h"
 #include "gfx.h"
 #include "sound.h"
-#include "command.h"
+#include "command_func.h"
 #include "variables.h"
 #include "water.h"