Replaced use of source.getId() by source.getSourceId() for Mage Framework.

This commit is contained in:
LevelX2 2014-08-13 14:22:32 +02:00
parent 8b4c454f1f
commit 3bbbd4c02b
33 changed files with 47 additions and 45 deletions

View file

@ -80,7 +80,7 @@ public class PutLibraryIntoGraveTargetEffect extends OneShotEffect {
for (int i = 0; i < cardsCount; i++) {
Card card = player.getLibrary().getFromTop(game);
if (card != null) {
player.moveCardToGraveyardWithInfo(card, source.getId(), game, Zone.LIBRARY);
player.moveCardToGraveyardWithInfo(card, source.getSourceId(), game, Zone.LIBRARY);
}
else {
break;