From 806ce145ea245f28b654465e99d65cd6729b7654 Mon Sep 17 00:00:00 2001
From: bugreportuser <37939393+bugreportuser@users.noreply.github.com>
Date: Mon, 11 Mar 2019 08:12:02 -0600
Subject: [PATCH] Fix PHP7 error

---
 src/Psalm/Context.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/Psalm/Context.php b/src/Psalm/Context.php
index 4756771f9..35a595efa 100644
--- a/src/Psalm/Context.php
+++ b/src/Psalm/Context.php
@@ -745,7 +745,10 @@ class Context
         return json_encode($summary);
     }
 
-    public function defineGlobals() : void
+    /**
+     * @return void
+     */
+    public function defineGlobals()
     {
         $globals = [
             'argv' => new Type\Union([