src/gui.h
changeset 8124 59aee7f98ff9
parent 8123 ce31d2843a95
child 8131 160939e24ed3
--- a/src/gui.h	Sun Dec 23 10:56:02 2007 +0000
+++ b/src/gui.h	Sun Dec 23 11:20:41 2007 +0000
@@ -5,7 +5,6 @@
 #ifndef GUI_H
 #define GUI_H
 
-#include "string.h"
 #include "window_type.h"
 #include "vehicle_type.h"
 #include "gfx_type.h"