X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fsettings.h;h=74e81b5e7018f48657a5697577c07fb7d14ad91e;hb=ef05645131b8163a4bb9839e609bb76d553b80e9;hp=4c196b7e5f98a0b341982d46f808ca0c4a54adc2;hpb=d5e5cf282cc56899913654a62c425e584acecfb2;p=pspp-builds.git

diff --git a/src/settings.h b/src/settings.h
index 4c196b7e..74e81b5e 100644
--- a/src/settings.h
+++ b/src/settings.h
@@ -139,6 +139,7 @@ int get_viewlength(void);
 int get_viewwidth(void);
 
 void init_settings(void) ;
+void done_settings(void) ;
 
 /* Whether pspp can erase and overwrite files */
 int safer_mode(void);