gmp_randseed_ui/randsui.c: "mpz_t seed" should be "unsigned long int seed"

[Joachim Hollman]

There is a tiny bug in the file randsui.c:

void
#if __STDC__
gmp_randseed_ui (gmp_randstate_t rstate,
                  unsigned long int seed)
#else
gmp_randseed_ui (rstate, seed)
     gmp_randstate_t rstate;
     mpz_t seed; /* <<< should be "unsigned long int seed;" */
#endif
{
  mpz_set_ui (rstate->seed, seed);
}