diff --git a/config.xsd b/config.xsd index e2301ea7890..2d295436a2e 100644 --- a/config.xsd +++ b/config.xsd @@ -128,6 +128,7 @@ + diff --git a/src/Psalm/Config.php b/src/Psalm/Config.php index 2ca59125dc3..33035789e97 100644 --- a/src/Psalm/Config.php +++ b/src/Psalm/Config.php @@ -1252,8 +1252,8 @@ private static function fromXmlAndPaths( } } - if (isset($config_xml->threads)) { - $config->threads = (int)$config_xml->threads; + if (isset($config_xml['threads'])) { + $config->threads = (int)$config_xml['threads']; } return $config;