diff options
Diffstat (limited to 'rand/randsdui.c')
-rw-r--r-- | rand/randsdui.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rand/randsdui.c b/rand/randsdui.c index 46d80ad4c..a91a14882 100644 --- a/rand/randsdui.c +++ b/rand/randsdui.c @@ -32,7 +32,7 @@ see https://www.gnu.org/licenses/. */ #include "gmp-impl.h" void -gmp_randseed_ui (gmp_randstate_t rstate, +gmp_randseed_ui (gmp_randstate_ptr rstate, unsigned long int seed) { mpz_t zseed; |