player.h
changeset 2817 58dcead3f545
parent 2697 c7b1a950c4cf
child 2848 cb4b1cc0bf65
--- a/player.h	Thu Jan 05 12:00:38 2006 +0000
+++ b/player.h	Thu Jan 05 12:40:50 2006 +0000
@@ -266,7 +266,5 @@
 void InitialiseEngineReplacement(Player *p);
 EngineID EngineReplacement(const Player *p, EngineID engine);
 bool EngineHasReplacement(const Player *p, EngineID engine);
-int32 AddEngineReplacement(Player *p, EngineID old_engine, EngineID new_engine, uint32 flags);
-int32 RemoveEngineReplacement(Player *p, EngineID engine, uint32 flags);
 
 #endif /* PLAYER_H */