X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsettings.h;h=34f4b8519f3b2cb655607c616aba13b57c63a532;hb=bef05451ef0f1a79d5427d5d4701b2744824c0b4;hp=9f6b94a888c63c41d9d9a16cacf9b81eba7500a6;hpb=cc2f30a26fb9dc6c0f92210c790df6c39bba038f;p=pspp

diff --git a/src/data/settings.h b/src/data/settings.h
index 9f6b94a888..34f4b8519f 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -155,6 +155,7 @@ enum fmt_type;
 bool settings_set_cc (const char *cc_string, enum fmt_type type);
 
 void settings_set_decimal_char (char decimal);
+void settings_set_include_leading_zero (bool include_leading_zero);
 
 const struct fmt_settings *settings_get_fmt_settings (void);