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

diff --git a/src/data/settings.h b/src/data/settings.h
index 27ba0cee1a..963458d826 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);
 
@@ -88,12 +92,6 @@ void settings_set_mprint (bool);
 int settings_get_mxloops (void);
 void settings_set_mxloops ( int);
 
-bool settings_get_nulline (void);
-void settings_set_nulline (bool);
-
-char settings_get_endcmd (void);
-void settings_set_endcmd (char);
-
 size_t settings_get_workspace (void);
 size_t settings_get_workspace_cases (const struct caseproto *);
 void settings_set_workspace (size_t);