From e3229d7eaba80fd216e012540d96f3162700b19d Mon Sep 17 00:00:00 2001
From: Oleg Agafonov <jaydi85@gmail.com>
Date: Thu, 31 Aug 2023 19:38:37 +0400
Subject: [PATCH] refactor: use same code style in library's methods

---
 Mage/src/main/java/mage/players/Library.java | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/Mage/src/main/java/mage/players/Library.java b/Mage/src/main/java/mage/players/Library.java
index 36798050c4b..1ce50eaf77c 100644
--- a/Mage/src/main/java/mage/players/Library.java
+++ b/Mage/src/main/java/mage/players/Library.java
@@ -103,6 +103,7 @@ public class Library implements Serializable {
     public void putOnTop(Card card, Game game) {
         if (card.isOwnedBy(playerId)) {
             card.setZone(Zone.LIBRARY, game);
+            library.remove(card.getId());
             library.addFirst(card.getId());
         } else {
             game.getPlayer(card.getOwnerId()).getLibrary().putOnTop(card, game);
@@ -146,13 +147,6 @@ public class Library implements Serializable {
         return library.size();
     }
 
-    public void set(Library newLibrary) {
-        library.clear();
-        for (UUID card : newLibrary.getCardList()) {
-            library.add(card);
-        }
-    }
-
     public List<UUID> getCardList() {
         return new ArrayList<>(library);
     }
@@ -202,8 +196,10 @@ public class Library implements Serializable {
     }
 
     public void addAll(Set<Card> cards, Game game) {
+        // put on bottom
         for (Card card : cards) {
             card.setZone(Zone.LIBRARY, game);
+            library.remove(card.getId());
             library.add(card.getId());
         }
     }