X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsettings.h;h=d7c616d9e0a00e3d9914caa04d9fe50b78220de8;hb=8abe13514985ae7f280a5b6c20687d1c7c9a20d5;hp=dafd114f8d816bae49756e470058c00cf6e4e988;hpb=1fec85d2c2a80ec32f351bfa3fa369070f1f848d;p=pspp

diff --git a/src/data/settings.h b/src/data/settings.h
index dafd114f8d..d7c616d9e0 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -73,6 +73,7 @@ void settings_set_safer_mode (void);
 bool settings_get_include (void);
 void settings_set_include (bool);
 
+int settings_get_epoch (void);
 void settings_set_epoch (int);
 
 bool settings_get_scompression (void);