From 4c98d9d3adae15c5530f93082d8cd89f67e7df4a Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Mon, 11 Jun 2018 10:40:01 +0100
Subject: [PATCH] AsyncPool: add a type doc to $size

---
 src/pocketmine/scheduler/AsyncPool.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pocketmine/scheduler/AsyncPool.php b/src/pocketmine/scheduler/AsyncPool.php
index 92de3be31..5b8714331 100644
--- a/src/pocketmine/scheduler/AsyncPool.php
+++ b/src/pocketmine/scheduler/AsyncPool.php
@@ -39,7 +39,7 @@ class AsyncPool{
 	private $classLoader;
 	/** @var \ThreadedLogger */
 	private $logger;
-
+	/** @var int */
 	protected $size;
 	/** @var int */
 	private $workerMemoryLimit;