X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fsettings.h;h=2eedbddbcd60b5b044cd0eeb1913982ea6af68ed;hb=6331aa1af5f813fbe463fd0970c39a35c5243332;hp=9e6209250da9b2fcfae9f2c31f0691e9ea3491e4;hpb=40271dcbfdecb01dfe808684741215eb2ddeb508;p=pspp

diff --git a/src/settings.h b/src/settings.h
index 9e6209250d..2eedbddbcd 100644
--- a/src/settings.h
+++ b/src/settings.h
@@ -32,8 +32,8 @@ enum
     SET_ROUTE_DISABLE = 010	/* Disable output--overrides all other bits. */
   };
 
-void init_settings (void);
-void done_settings (void);
+void settings_init (void);
+void settings_done (void);
 
 void force_long_view (void);
 int get_viewlength (void);
@@ -101,6 +101,9 @@ void set_workspace (size_t);
 const struct fmt_spec *get_format (void);
 void set_format (const struct fmt_spec *);
 
+/* Maximum number of custom currency specifications */
+#define CC_CNT 5
+
 /* One custom currency specification. */
 #define CC_WIDTH 16
 struct custom_currency
@@ -116,11 +119,6 @@ struct custom_currency
 const struct custom_currency *get_cc (int idx);
 void set_cc (int idx, const struct custom_currency *);
 
-#include <gsl/gsl_rng.h>
-
-gsl_rng *get_rng (void);
-void set_rng (unsigned long seed);
-
 bool get_testing_mode (void);
 void set_testing_mode (bool);