remove casting of source

2012-10-27 09:36:54 +08:00 · 2012-10-27 09:36:54 +08:00 · 3d8bba8cc5
parent 08355fa45a
commit 3d8bba8cc5
1 changed files with 1 additions and 1 deletions
--- a/src/magic/card/Mikaeus__the_Unhallowed.java
+++ b/src/magic/card/Mikaeus__the_Unhallowed.java
@ -50,7 +50,7 @@ public class Mikaeus__the_Unhallowed {
            final MagicPlayer player = permanent.getController();
            return (damage.getTarget() == player && 
                    damage.getSource().isPermanent() &&
-                    ((MagicPermanent)damage.getSource()).hasSubType(MagicSubType.Human)) ?
+                    damage.getSource().hasSubType(MagicSubType.Human)) ?
                new MagicEvent(
                        permanent,
                        player,