Fix #10517 (Herald's Horn)

This commit is contained in:
xenohedron 2023-06-25 23:30:06 -04:00
parent 231ab77bcd
commit 9cd42bc4a5

View file

@ -80,6 +80,9 @@ class HeraldsHornEffect extends OneShotEffect {
// If it's a creature card of the chosen type, you may reveal it and put it into your hand. // If it's a creature card of the chosen type, you may reveal it and put it into your hand.
FilterCreatureCard filter = new FilterCreatureCard("creature card of the chosen type"); FilterCreatureCard filter = new FilterCreatureCard("creature card of the chosen type");
SubType subtype = ChooseCreatureTypeEffect.getChosenCreatureType(source.getSourceId(), game); SubType subtype = ChooseCreatureTypeEffect.getChosenCreatureType(source.getSourceId(), game);
if (subtype == null) {
return true;
}
filter.add(subtype.getPredicate()); filter.add(subtype.getPredicate());
String message = "Reveal the top card of your library and put that card into your hand?"; String message = "Reveal the top card of your library and put that card into your hand?";
if (card != null) { if (card != null) {