X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Frandom.h;h=7ab723773d83a48e485425ec672d014a8ea40bda;hb=205ac3afa4c2b19c85819d8695abf3975bb11807;hp=91dec4ffea7f32ec549a0ce63e83188df3b702ba;hpb=2bfc3a138f308ffb38634a92b23bdc7b62592324;p=pspp-builds.git

diff --git a/src/random.h b/src/random.h
index 91dec4ff..7ab72377 100644
--- a/src/random.h
+++ b/src/random.h
@@ -20,6 +20,8 @@
 #if !random_h
 #define random_h 1
 
+#include <stddef.h>
+
 struct rng *rng_create (void);
 void rng_destroy (struct rng *);
 void rng_seed (struct rng *, const void *, size_t);
@@ -31,4 +33,8 @@ double rng_get_double_normal (struct rng *);
 
 struct rng *pspp_rng (void);
 
+/* Return a `random' seed by using the real time clock */
+unsigned long random_seed(void);
+
+
 #endif /* random.h */