Fix linting

vimeo · Oct 7, 2020 · 21a6f34 · 21a6f34
1 parent 02e18c0
commit 21a6f34
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Psalm/Internal/Clause.php b/src/Psalm/Internal/Clause.php
@@ -159,11 +159,11 @@ function ($value) use ($var_id): string {
 
                         if ($value[0] === '!') {
                             $negate = true;
-                            $value = substr($value, 1);
+                            $value = \substr($value, 1);
                         }
 
                         if ($value[0] === '=') {
-                            $value = substr($value, 1);
+                            $value = \substr($value, 1);
                         }
 
                         if ($negate) {
@@ -189,7 +189,7 @@ function ($value) use ($var_id): string {
             return '(' . implode(') || (', $clause_strings) . ')';
         }
 
-        return reset($clause_strings);
+        return \reset($clause_strings);
     }
 
     public function makeUnique() : self