--- a/src/engine_type.h	Tue May 27 10:27:30 2008 +0000
+++ b/src/engine_type.h	Tue May 27 12:24:23 2008 +0000
@@ -14,11 +14,8 @@
 #include "player_type.h"
 #include "strings_type.h"
 
-#include <vector>
-
 typedef uint16 EngineID;
 typedef uint16 EngineRenewID;
-typedef std::vector<EngineID> EngineList; ///< engine list type
 
 struct Engine;