src/main_gui.cpp
changeset 10684 7cc2278c2ac0
parent 10625 3c1f6a26db71
child 10703 2c998f3776d1
--- a/src/main_gui.cpp	Sat May 24 10:02:49 2008 +0000
+++ b/src/main_gui.cpp	Sat May 24 10:15:06 2008 +0000
@@ -13,7 +13,7 @@
 #include "viewport_func.h"
 #include "command_func.h"
 #include "news_gui.h"
-#include "console.h"
+#include "console_gui.h"
 #include "waypoint.h"
 #include "genworld.h"
 #include "transparency_gui.h"