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

diff --git a/src/data/settings.h b/src/data/settings.h
index 7dcb0e34..e68325f7 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);