From 7dc44776f7c93015054bd8e1f115c902c9acf179 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Steitz?= <juergen.esipov@googlemail.com>
Date: Sat, 18 Feb 2017 09:37:50 +0100
Subject: [PATCH] Fix wrong phpDoc type

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

diff --git a/src/Indexer.php b/src/Indexer.php
index 3529e19..4cd85d3 100644
--- a/src/Indexer.php
+++ b/src/Indexer.php
@@ -78,7 +78,7 @@ class Indexer
      * @param Index                  $sourceIndex
      * @param PhpDocumentLoader      $documentLoader
      * @param \stdClass|null         $composerLock
-     * @param IndexerOptions|null    $options
+     * @param Options|null           $options
      */
     public function __construct(
         FilesFinder $filesFinder,