1 files changed, 0 insertions, 18 deletions
diff --git a/moon-abe/pbc-0.5.14/arith/init_random.c b/moon-abe/pbc-0.5.14/arith/init_random.c
deleted file mode 100644
index bd040a38..00000000
--- a/moon-abe/pbc-0.5.14/arith/init_random.c
+++ /dev/null
@@ -1,18 +0,0 @@
-#include <stdio.h>
-#include <stdint.h> // for intptr_t
-#include <stdlib.h>
-#include <gmp.h>
-#include "pbc_utils.h"
-#include "pbc_random.h"
-
-void pbc_init_random(void) {
-  FILE *fp;
-  fp = fopen("/dev/urandom", "rb");
-  if (!fp) {
-    pbc_warn("could not open /dev/urandom, using deterministic random number generator");
-    pbc_random_set_deterministic(0);
-  } else {
-    pbc_random_set_file("/dev/urandom");
-    fclose(fp);
-  }
-}