From 1c6075df2bed1308e1c2a01fa720c1f7be02a992 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexander=20S=C3=B6derberg?= <sauilitired@gmail.com>
Date: Thu, 21 May 2020 20:06:37 +0200
Subject: [PATCH] Get rid of unused field

---
 .../plotsquared/core/plot/world/DefaultPlotAreaManager.java    | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Core/src/main/java/com/plotsquared/core/plot/world/DefaultPlotAreaManager.java b/Core/src/main/java/com/plotsquared/core/plot/world/DefaultPlotAreaManager.java
index f86b5b8b6..9ce0b1623 100644
--- a/Core/src/main/java/com/plotsquared/core/plot/world/DefaultPlotAreaManager.java
+++ b/Core/src/main/java/com/plotsquared/core/plot/world/DefaultPlotAreaManager.java
@@ -44,10 +44,7 @@ import java.util.Set;
 public class DefaultPlotAreaManager implements PlotAreaManager {
 
     final PlotArea[] noPlotAreas = new PlotArea[0];
-
     private final Map<String, PlotWorld> plotWorlds = new HashMap<>();
-    // Optimization if there are no hash collisions
-    private boolean plotAreaHasCollision = false;
 
     @Override public PlotArea[] getAllPlotAreas() {
         final Set<PlotArea> area = new HashSet<>();