src/dock_gui.cpp
changeset 8106 e6790dd9e750
parent 8032 f35fba9bacb0
child 8107 bb7deea89175
--- a/src/dock_gui.cpp	Wed Dec 19 02:41:25 2007 +0000
+++ b/src/dock_gui.cpp	Wed Dec 19 19:44:29 2007 +0000
@@ -8,7 +8,6 @@
 #include "table/strings.h"
 #include "functions.h"
 #include "map.h"
-#include "window.h"
 #include "station.h"
 #include "gui.h"
 #include "viewport.h"