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

diff --git a/src/random.h b/src/random.h
index 21aef7c9..7ab72377 100644
--- a/src/random.h
+++ b/src/random.h
@@ -33,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 */