X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fsettings.h;h=74e81b5e7018f48657a5697577c07fb7d14ad91e;hb=ef05645131b8163a4bb9839e609bb76d553b80e9;hp=14f902ec989d5d2c2129f1f26d331721fadffc5e;hpb=721f67e477ee5050961020ed5afd8e0daf42bf2d;p=pspp-builds.git diff --git a/src/settings.h b/src/settings.h index 14f902ec..74e81b5e 100644 --- a/src/settings.h +++ b/src/settings.h @@ -139,6 +139,7 @@ int get_viewlength(void); int get_viewwidth(void); void init_settings(void) ; +void done_settings(void) ; /* Whether pspp can erase and overwrite files */ int safer_mode(void); @@ -227,11 +228,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_rng *get_rng (void); enum {ENHANCED,COMPATIBLE};