moon-abe cleanup

Change-Id: Ie1259856db03f0b9e80de3e967ec6bd1f03191b3

1 files changed, 0 insertions, 32 deletions

diff --git a/moon-abe/pbc-0.5.14/include/pbc_random.h b/moon-abe/pbc-0.5.14/include/pbc_random.h
deleted file mode 100644
index df688b9a..00000000
--- a/moon-abe/pbc-0.5.14/include/pbc_random.h
+++ /dev/null
@@ -1,32 +0,0 @@
-// Requires:
-// * gmp.h
-#ifndef __PBC_RANDOM_H__
-#define __PBC_RANDOM_H__
-
-/*@manual pbcrandom
-Sets 'filename' as a source of random bytes. For example,
-on Linux one might use `/dev/random`.
-*/
-void pbc_random_set_file(char *filename);
-
-/*@manual pbcrandom
-Uses a determinstic random number generator, seeded with 'seed'.
-*/
-void pbc_random_set_deterministic(unsigned int seed);
-
-/*@manual pbcrandom
-Uses given function as a random number generator.
-*/
-void pbc_random_set_function(void (*fun)(mpz_t, mpz_t, void *), void *data);
-
-/*@manual pbcrandom
-Selects a random 'z' that is less than 'limit'.
-*/
-void pbc_mpz_random(mpz_t z, mpz_t limit);
-
-/*@manual pbcrandom
-Selects a random 'bits'-bit integer 'z'.
-*/
-void pbc_mpz_randomb(mpz_t z, unsigned int bits);
-
-#endif //__PBC_RANDOM_H__