src/genworld_gui.cpp
changeset 8612 6414fc21c2f3
parent 8610 17cc343a23dd
child 8617 931e0970d509
--- a/src/genworld_gui.cpp	Fri Dec 21 21:16:14 2007 +0000
+++ b/src/genworld_gui.cpp	Fri Dec 21 21:50:46 2007 +0000
@@ -14,7 +14,7 @@
 #include "gfx.h"
 #include "gfxinit.h"
 #include "player.h"
-#include "command.h"
+#include "command_func.h"
 #include "sound.h"
 #include "variables.h"
 #include "string.h"