private void pickupPot(int player) {
playerTurn = player;
// these operations get the same results as you would have IRL, even though we pretended that
// stackBurn is facedown.
stackPot.addToBottom(stackBurn);
playerCards.get(player).addToBottom(stackPot);
topFacecardMaxSize = -1;
topFacecardOwner = -1;
}
