702
703
position, player_number_, index_of_new_building, false, former_buildings);
704
705
building = &egbase().warp_dismantlesite(position, player_number_, false, former_buildings);
705
710
// Hereafter building points to the new building.
707
712
// Reassign the workers and soldiers.