src/dock_gui.cpp
changeset 8270 e7c342f6b14c
parent 8264 b1e85998c7d3
child 8413 c7f3384330a3
--- a/src/dock_gui.cpp	Sun Jan 13 13:53:53 2008 +0000
+++ b/src/dock_gui.cpp	Sun Jan 13 14:37:30 2008 +0000
@@ -11,7 +11,7 @@
 #include "window_gui.h"
 #include "station_gui.h"
 #include "command_func.h"
-#include "variables.h"
+#include "settings_type.h"
 #include "water.h"
 #include "window_func.h"
 #include "vehicle_func.h"