From 428ca29e4bb4a0787b3ef9c5e5584e086480af76 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Thu, 7 Jun 2018 19:52:56 +0100
Subject: [PATCH] Remove dead bedrockDepth fields from generator yes, this is
 not implemented yet. fields for this can be added when proper bedrock
 generation is implemented. For now, it's just dead code.

---
 src/pocketmine/level/generator/hell/Nether.php   | 2 --
 src/pocketmine/level/generator/normal/Normal.php | 2 --
 2 files changed, 4 deletions(-)

diff --git a/src/pocketmine/level/generator/hell/Nether.php b/src/pocketmine/level/generator/hell/Nether.php
index 6d80229bc..5ea427804 100644
--- a/src/pocketmine/level/generator/hell/Nether.php
+++ b/src/pocketmine/level/generator/hell/Nether.php
@@ -44,8 +44,6 @@ class Nether extends Generator{
 	private $emptyAmplitude = 1;
 	/** @var float */
 	private $density = 0.5;
-	/** @var int */
-	private $bedrockDepth = 5;
 
 	/** @var Populator[] */
 	private $generationPopulators = [];
diff --git a/src/pocketmine/level/generator/normal/Normal.php b/src/pocketmine/level/generator/normal/Normal.php
index 98d011891..8bd1e19ce 100644
--- a/src/pocketmine/level/generator/normal/Normal.php
+++ b/src/pocketmine/level/generator/normal/Normal.php
@@ -44,8 +44,6 @@ class Normal extends Generator{
 	private $populators = [];
 	/** @var int */
 	private $waterHeight = 62;
-	/** @var int */
-	private $bedrockDepth = 5;
 
 	/** @var Populator[] */
 	private $generationPopulators = [];