X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsettings.h;h=e68325f7f2bca21aed2ef100420a170b15c2522a;hb=e937634e9021aa0656a6362f169ec2183efed499;hp=27ba0cee1a9d1267220bfcd013f6676bbac90b3f;hpb=66946a0a0cab3a51e6fded95aef4e991baee319f;p=pspp

diff --git a/src/data/settings.h b/src/data/settings.h
index 27ba0cee1a..e68325f7f2 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -31,6 +31,10 @@ struct settings;
 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);