src/misc_gui.cpp
changeset 7138 67f99b0cc527
parent 7074 e9ac73a61934
child 7241 7fd23b6f6713
--- a/src/misc_gui.cpp	Mon Jul 02 17:23:51 2007 +0000
+++ b/src/misc_gui.cpp	Tue Jul 03 11:31:38 2007 +0000
@@ -4,7 +4,6 @@
 
 #include "stdafx.h"
 #include "openttd.h"
-#include "hal.h"
 #include "heightmap.h"
 #include "debug.h"
 #include "functions.h"