src/intro_gui.cpp
changeset 8106 e6790dd9e750
parent 7997 df87ccd00a96
child 8107 bb7deea89175
--- a/src/intro_gui.cpp	Wed Dec 19 02:41:25 2007 +0000
+++ b/src/intro_gui.cpp	Wed Dec 19 19:44:29 2007 +0000
@@ -8,7 +8,6 @@
 #include "strings.h"
 #include "table/sprites.h"
 #include "functions.h"
-#include "window.h"
 #include "gui.h"
 #include "gfx.h"
 #include "player.h"