Make Psalm on PHP 5.6 happy

paragonie · May 13, 2019 · 4bc40c2 · 4bc40c2
1 parent 975f866
commit 4bc40c2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Compat.php b/src/Compat.php
@@ -2782,7 +2782,8 @@ public static function runtime_speed_test($iterations, $maxTimeout)
             $a->mulInt64($b);
         }
         $end = microtime(true);
-        $diff = ceil(($end - $start) * 1000);
+        /** @var int $diff */
+        $diff = (int) ceil(($end - $start) * 1000);
         return $diff < $maxTimeout;
     }