From 65974f5aa7b483bbba2244628055ea083b4d0303 Mon Sep 17 00:00:00 2001
From: LevelX2 <ludwig.hirth@online.de>
Date: Sun, 28 Dec 2014 01:33:22 +0100
Subject: [PATCH] * Arsenal Thresher - Fixed a bug of the enters the
 battlefield ability.

---
 Mage.Sets/src/mage/sets/alarareborn/ArsenalThresher.java | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/Mage.Sets/src/mage/sets/alarareborn/ArsenalThresher.java b/Mage.Sets/src/mage/sets/alarareborn/ArsenalThresher.java
index c1e44b9675a..0f9a30c2e8c 100644
--- a/Mage.Sets/src/mage/sets/alarareborn/ArsenalThresher.java
+++ b/Mage.Sets/src/mage/sets/alarareborn/ArsenalThresher.java
@@ -40,6 +40,7 @@ import mage.constants.Outcome;
 import mage.constants.Rarity;
 import mage.counters.CounterType;
 import mage.filter.common.FilterArtifactCard;
+import mage.filter.predicate.mageobject.AnotherCardPredicate;
 import mage.filter.predicate.permanent.AnotherPredicate;
 import mage.game.Game;
 import mage.game.permanent.Permanent;
@@ -57,9 +58,6 @@ public class ArsenalThresher extends CardImpl {
         this.expansionSetCode = "ARB";
         this.subtype.add("Construct");
 
-
-        
-
         this.power = new MageInt(2);
         this.toughness = new MageInt(2);
 
@@ -100,7 +98,7 @@ class ArsenalThresherEffect extends OneShotEffect {
         }
         Permanent arsenalThresher = game.getPermanent(source.getSourceId());
         FilterArtifactCard filter = new FilterArtifactCard();
-        filter.add(new AnotherPredicate());
+        filter.add(new AnotherCardPredicate());
         if (you.chooseUse(Outcome.Benefit, "Do you want to reveal other artifacts in your hand?", game)) {
             Cards cards = new CardsImpl();
             if (you.getHand().count(filter, source.getSourceId(), source.getControllerId(), game) > 0) {