Plugged some memory leaks.
[pspp-builds.git] / src / settings.h
index 4c196b7e5f98a0b341982d46f808ca0c4a54adc2..74e81b5e7018f48657a5697577c07fb7d14ad91e 100644 (file)
@@ -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);