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