1 files changed, 0 insertions, 25 deletions
diff --git a/vendor/thecodingmachine/safe/generated/gmp.php b/vendor/thecodingmachine/safe/generated/gmp.php
deleted file mode 100644
index b2b88f6e4..000000000
--- a/vendor/thecodingmachine/safe/generated/gmp.php
+++ /dev/null
@@ -1,25 +0,0 @@
-<?php
-
-namespace Safe;
-
-use Safe\Exceptions\GmpException;
-
-/**
- *
- *
- * @param \GMP|string|int $seed The seed to be set for the gmp_random,
- * gmp_random_bits, and
- * gmp_random_range functions.
- *
- * A GMP object, an integer or a numeric string.
- * @throws GmpException
- *
- */
-function gmp_random_seed($seed): void
-{
-    error_clear_last();
-    $result = \gmp_random_seed($seed);
-    if ($result === false) {
-        throw GmpException::createFromPhpError();
-    }
-}