mirror of
https://github.com/correl/mage.git
synced 2024-11-15 11:09:30 +00:00
* Mystical Teachings - Fixed wrong tooltip text (fixes #686).
This commit is contained in:
parent
105e12db10
commit
24c757647e
2 changed files with 3 additions and 1 deletions
|
@ -49,7 +49,7 @@ import mage.target.common.TargetCardInLibrary;
|
||||||
public class MysticalTeachings extends CardImpl {
|
public class MysticalTeachings extends CardImpl {
|
||||||
|
|
||||||
|
|
||||||
private static final FilterCard filter = new FilterCard("creature an opponent controls");
|
private static final FilterCard filter = new FilterCard("an instant card or a card with flash");
|
||||||
|
|
||||||
static {
|
static {
|
||||||
filter.add(Predicates.or(
|
filter.add(Predicates.or(
|
||||||
|
|
|
@ -37,6 +37,7 @@ import java.util.List;
|
||||||
import java.util.Map;
|
import java.util.Map;
|
||||||
import java.util.UUID;
|
import java.util.UUID;
|
||||||
import mage.MageObject;
|
import mage.MageObject;
|
||||||
|
import mage.MageObjectReference;
|
||||||
import mage.abilities.Ability;
|
import mage.abilities.Ability;
|
||||||
import mage.abilities.effects.ContinuousEffect;
|
import mage.abilities.effects.ContinuousEffect;
|
||||||
import mage.abilities.effects.Effect;
|
import mage.abilities.effects.Effect;
|
||||||
|
@ -854,6 +855,7 @@ public abstract class PermanentImpl extends CardImpl implements Permanent {
|
||||||
//20091005 - 701.13
|
//20091005 - 701.13
|
||||||
if (!game.replaceEvent(GameEvent.getEvent(EventType.SACRIFICE_PERMANENT, objectId, sourceId, controllerId))) {
|
if (!game.replaceEvent(GameEvent.getEvent(EventType.SACRIFICE_PERMANENT, objectId, sourceId, controllerId))) {
|
||||||
// Commander replacement effect or Rest in Peace (exile instead of graveyard) in play does not prevent successful sacrifice
|
// Commander replacement effect or Rest in Peace (exile instead of graveyard) in play does not prevent successful sacrifice
|
||||||
|
// so the return value of the moveToZone is not taken into account here
|
||||||
moveToZone(Zone.GRAVEYARD, sourceId, game, false);
|
moveToZone(Zone.GRAVEYARD, sourceId, game, false);
|
||||||
Player player = game.getPlayer(getControllerId());
|
Player player = game.getPlayer(getControllerId());
|
||||||
if (player != null) {
|
if (player != null) {
|
||||||
|
|
Loading…
Reference in a new issue