--- 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"