From d56d1b7fe7707e7dc558bf7f2b630ef2c2fa8b82 Mon Sep 17 00:00:00 2001
From: Rob Lourens <roblourens@gmail.com>
Date: Fri, 2 Jun 2017 17:10:33 -0700
Subject: [PATCH] $index can be private again

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

diff --git a/src/DefinitionResolver.php b/src/DefinitionResolver.php
index 7df4aee..f07521b 100644
--- a/src/DefinitionResolver.php
+++ b/src/DefinitionResolver.php
@@ -18,7 +18,7 @@ class DefinitionResolver
      *
      * @var \LanguageServer\Index\ReadableIndex
      */
-    protected $index;
+    private $index;
 
     /**
      * Resolves strings to a type object.