X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fsettings.h;h=39bac54430f7764a26dafeb9d7bdb57f8e7692d9;hb=da67dbb8a63ee516a6ae69c6099fde077dc20dcc;hp=f485ce152cf8e22cf90a40fb75b53ad3f408ac57;hpb=07da9f454c17fb961cae09f6d7d505f7abb281c0;p=pspp

diff --git a/src/data/settings.h b/src/data/settings.h
index f485ce152c..39bac54430 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -146,6 +146,9 @@ void settings_set_decimal_char (char decimal);
 
 const struct fmt_settings *settings_get_fmt_settings (void);
 
+double settings_get_small (void);
+void settings_set_small (double);
+
 char * settings_dollar_template (const struct fmt_spec *fmt);
 
 /* Routing of different kinds of output. */