X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsettings.h;h=e68325f7f2bca21aed2ef100420a170b15c2522a;hb=3da49359c52cb783db907cc197847bbd5e721c97;hp=7dcb0e34a479c2d5bf18cd431cd810e626decc6f;hpb=f51ecb48027e6b1eb46840ae25888a25b429f012;p=pspp

diff --git a/src/data/settings.h b/src/data/settings.h
index 7dcb0e34a4..e68325f7f2 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -28,9 +28,13 @@
 struct caseproto;
 struct settings;
 
-void settings_init (int *, int *);
+void settings_init (void);
 void settings_done (void);
 
+struct settings *settings_get (void);
+void settings_set (const struct settings *);
+void settings_destroy (struct settings *);
+
 enum float_format settings_get_input_float_format (void);
 void settings_set_input_float_format ( enum float_format);