From 0c862c01f65297d703acd71bdbd8a8aecfb0ea7d Mon Sep 17 00:00:00 2001 From: Zzooouhh Date: Sun, 22 Oct 2017 16:55:25 +0200 Subject: [PATCH] Removed some garbage --- Mage.Sets/src/mage/cards/p/PetraSphinx.java | 9 --------- 1 file changed, 9 deletions(-) diff --git a/Mage.Sets/src/mage/cards/p/PetraSphinx.java b/Mage.Sets/src/mage/cards/p/PetraSphinx.java index 295303e920..a1292fd7d0 100644 --- a/Mage.Sets/src/mage/cards/p/PetraSphinx.java +++ b/Mage.Sets/src/mage/cards/p/PetraSphinx.java @@ -95,14 +95,9 @@ class PetraSphinxEffect extends OneShotEffect { if (controller != null && sourceObject != null && player != null) { - //~ Players: - //~ for (UUID playerId : game.getState().getPlayersInRange(controller.getId(), game)) { - //~ Player player = game.getPlayer(playerId); - //~ if (player != null) { if (player.getLibrary().hasCards()) { Choice cardChoice = new ChoiceImpl(); cardChoice.setChoices(CardRepository.instance.getNames()); - //~ cardChoice.clearChoice(); cardChoice.setMessage("Name a card"); while (!player.choose(Outcome.DrawCard, cardChoice, game)) { if (!player.canRespond()) { @@ -119,10 +114,6 @@ class PetraSphinxEffect extends OneShotEffect { player.moveCards(cards, Zone.HAND, source, game); } else { player.moveCards(cards, Zone.GRAVEYARD, source, game); - //~ player.damage(2, source.getSourceId(), game, false, true); - //~ player.putCardsOnBottomOfLibrary(cards, game, source, false); - //~ } - //~ } } } }