changeset 9380 | 62dabf4a5b7e |
parent 9135 | 9a96282bd1f8 |
child 9468 | 7087fa70cfd4 |
--- 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;