From 522f0f5c25cd9a69b2a707e6ffb1924f56236001 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Thu, 26 Jul 2018 14:05:38 +0100
Subject: [PATCH] Config: remove dead field

---
 src/pocketmine/utils/Config.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/pocketmine/utils/Config.php b/src/pocketmine/utils/Config.php
index 98e9aa2a43..211412c2f6 100644
--- a/src/pocketmine/utils/Config.php
+++ b/src/pocketmine/utils/Config.php
@@ -44,8 +44,6 @@ class Config{
 
 	/** @var string */
 	private $file;
-	/** @var bool */
-	private $correct = false;
 	/** @var int */
 	private $type = Config::DETECT;
 	/** @var int */