Update tools

sebastianbergmann · Sep 27, 2019 · e6fe31c · e6fe31c
1 parent 302faed
commit e6fe31c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/phive.xml b/phive.xml
@@ -4,5 +4,5 @@
   <phar name="php-cs-fixer" version="^2.14" installed="2.15.3" location="./tools/php-cs-fixer" copy="true"/>
   <phar name="phpdox" version="^0.11" installed="0.12.0" location="./tools/phpdox" copy="true"/>
   <phar name="phploc" version="^4.0" installed="4.0.1" location="./tools/phploc" copy="true"/>
-  <phar name="psalm" version="^3.5" installed="3.5.1" location="./tools/psalm" copy="true"/>
+  <phar name="psalm" version="^3.5" installed="3.5.3" location="./tools/psalm" copy="true"/>
 </phive>
diff --git a/tools/psalm b/tools/psalm