1 files changed, 0 insertions, 13 deletions
diff --git a/src/backend/port/srandom.c b/src/backend/port/srandom.c
deleted file mode 100644
index 5f61088be69..00000000000
--- a/src/backend/port/srandom.c
+++ /dev/null
@@ -1,13 +0,0 @@
-/* $Id: srandom.c,v 1.10 2001/08/24 14:07:49 petere Exp $ */
-
-#include "c.h"
-
-#include <stdlib.h>
-#include <math.h>
-#include <errno.h>
-
-void
-srandom(unsigned int seed)
-{
-	srand48((long int) seed);
-}