X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsettings.c;fp=src%2Fdata%2Fsettings.c;h=7d7934af9240ccaaff1df4ce0ed0270647882cdc;hb=bef05451ef0f1a79d5427d5d4701b2744824c0b4;hp=4bc36494fd0bca6ef1a2a11bcaf9f1f75663d519;hpb=cc2f30a26fb9dc6c0f92210c790df6c39bba038f;p=pspp

diff --git a/src/data/settings.c b/src/data/settings.c
index 4bc36494fd..7d7934af92 100644
--- a/src/data/settings.c
+++ b/src/data/settings.c
@@ -615,6 +615,12 @@ settings_set_decimal_char (char decimal)
   the_settings.styles.decimal = decimal;
 }
 
+void
+settings_set_include_leading_zero (bool include_leading_zero)
+{
+  the_settings.styles.include_leading_zero = include_leading_zero;
+}
+
 const struct fmt_settings *
 settings_get_fmt_settings (void)
 {