From 57e7c3d91fc306ab393cf2b79522a828fbaa1be9 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Sat, 15 Jul 2017 13:30:02 +0100
Subject: [PATCH] Missed one

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

diff --git a/src/pocketmine/scheduler/ServerScheduler.php b/src/pocketmine/scheduler/ServerScheduler.php
index 3712c7763..9bcaabf8a 100644
--- a/src/pocketmine/scheduler/ServerScheduler.php
+++ b/src/pocketmine/scheduler/ServerScheduler.php
@@ -95,7 +95,7 @@ class ServerScheduler{
 	 *
 	 * @return void
 	 */
-	public function scheduleAsyncTaskToWorker(AsyncTask $task, $worker){
+	public function scheduleAsyncTaskToWorker(AsyncTask $task, int $worker){
 		if($task->getTaskId() !== null){
 			throw new \UnexpectedValueException("Attempt to schedule the same AsyncTask instance twice");
 		}