Removed dead code: a human AI (whatever that means) is an AI.

This commit is contained in:
Guillaume Melquiond 2009-05-27 07:37:09 +00:00
parent 95e26c35bf
commit 343d23b3a2

View file

@ -227,7 +227,7 @@ public:
bool is_ai() const { return info_.controller == team_info::AI || is_human_ai(); }
bool is_empty() const { return info_.controller == team_info::EMPTY; }
bool is_local() const { return is_human() || is_human_ai() || is_ai(); }
bool is_local() const { return is_human() || is_ai(); }
bool is_network() const { return is_network_human() || is_network_ai(); }
void make_human() { info_.controller = team_info::HUMAN; }