42
43
AI_Dummy::AI_Dummy(std::string name, guint32 armyset, Gdk::Color color, int width, int height, int player_no)
43
:RealPlayer(name, armyset, color, width, height, Player::AI_DUMMY, player_no), d_abort_requested(false)
44
:RealPlayer(name, armyset, color, width, height, Player::AI_DUMMY, player_no)