Adopt GSL random number generators, paving the way for providing the

[pspp-builds.git] / src / settings.h

diff --git a/src/settings.h b/src/settings.h
index 14f902ec989d5d2c2129f1f26d331721fadffc5e..4c196b7e5f98a0b341982d46f808ca0c4a54adc2 100644 (file)
--- a/src/settings.h
+++ b/src/settings.h
@@ -227,11 +227,8 @@ const char *get_pager(void);
 #endif /* !USE_INTERNAL_PAGER */
 
 
-/* Return 1 if the seed has been set since the last time this function
-   was called.
-   Fill the value pointed to by seed with the seed .
-*/
-int seed_is_set(unsigned long *seed);
+#include <gsl/gsl_rng.h>
+gsl_rng *get_rng (void);
 
 
 enum {ENHANCED,COMPATIBLE};