X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fsettings.h;h=3c33a8798505cc09f451fcf7e10ebf33ebf33fa2;hb=f1696fab032a5ae5c44e3a3dedba343fce9ffd5c;hp=74e81b5e7018f48657a5697577c07fb7d14ad91e;hpb=eeb3352d718b0cd85afab3f7a7466fcac7791c1c;p=pspp

diff --git a/src/settings.h b/src/settings.h
index 74e81b5e70..3c33a87985 100644
--- a/src/settings.h
+++ b/src/settings.h
@@ -169,6 +169,9 @@ char *get_cprompt(void);
 /* Whether we echo commands to the listing file/printer;*/
 int get_echo(void);
 
+/* What year to use as the start of the epoch. */
+int get_epoch (void);
+
 /* If echo is on, whether commands from include files are echoed */
 int get_include(void);