1 files changed, 0 insertions, 11 deletions
diff --git a/random.c b/random.c
index 9731fe9b2..64532b629 100644
--- a/random.c
+++ b/random.c
@@ -55,14 +55,3 @@ mpfr_random (x)
   /* cnt is the number of non significant bits in the low limb */
   xp[0] &= ~((((mp_limb_t) 1) << cnt) - 1);
 }
-
-void
-#if __STDC__
-mpfr_srandom (unsigned long int seed)
-#else
-mpfr_srandom (seed)
-     unsigned long int seed;
-#endif
-{
-  srandom (seed); 
-}