From dfedf70d5d19bbeb16de9ae7e4d9a5703c81082b Mon Sep 17 00:00:00 2001
From: Andrii Dembitskyi <andrew.dembitskiy@gmail.com>
Date: Tue, 8 Jan 2019 16:16:27 +0200
Subject: [PATCH] :bug: Fix --plugin option handling for psalm

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

diff --git a/src/psalm.php b/src/psalm.php
index e186c1b4d..6290cdaa3 100644
--- a/src/psalm.php
+++ b/src/psalm.php
@@ -494,7 +494,7 @@ if ($find_dead_code) {
 
 /** @var string $plugin_path */
 foreach ($plugins as $plugin_path) {
-    Config::getInstance()->addPluginPath($current_dir . DIRECTORY_SEPARATOR . $plugin_path);
+    Config::getInstance()->addPluginPath($current_dir . $plugin_path);
 }
 
 if ($paths_to_check === null) {