From 1b84072fa7527ecad752b9bc65cd7f6f77cb3993 Mon Sep 17 00:00:00 2001
From: BetaSteward <betasteward@gmail>
Date: Wed, 28 Sep 2011 22:01:37 -0400
Subject: [PATCH] added shuffle

---
 Mage.Sets/src/mage/sets/magic2012/ArachnusSpinner.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Mage.Sets/src/mage/sets/magic2012/ArachnusSpinner.java b/Mage.Sets/src/mage/sets/magic2012/ArachnusSpinner.java
index 42f2d536094..bc172787023 100644
--- a/Mage.Sets/src/mage/sets/magic2012/ArachnusSpinner.java
+++ b/Mage.Sets/src/mage/sets/magic2012/ArachnusSpinner.java
@@ -135,6 +135,7 @@ class ArachnusSpinnerEffect extends OneShotEffect<ArachnusSpinnerEffect> {
                 card = game.getCard(target.getFirstTarget());
                 if (card != null) {
                     player.removeFromLibrary(card, game);
+                    player.shuffleLibrary(game);
                     zone = Zone.LIBRARY;
                 }
             }