Fix wrong phpDoc type

2017-02-18 09:37:50 +01:00 · 2017-02-18 09:37:50 +01:00 · 7dc44776f7
parent 5f096c4bf7
commit 7dc44776f7
1 changed files with 1 additions and 1 deletions
--- 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,