X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fset.q;h=120606fb66eddc3822a1f370fda4f5c9c42778fe;hb=d043fde2b737897e3372670afc47eb648c17624b;hp=c291c1a87946575f20c37320fc7f49b240da723b;hpb=d5e5cf282cc56899913654a62c425e584acecfb2;p=pspp-builds.git

diff --git a/src/set.q b/src/set.q
index c291c1a8..120606fb 100644
--- a/src/set.q
+++ b/src/set.q
@@ -1051,6 +1051,22 @@ set_viewport(int sig_num UNUSED)
 
 /* Public functions */
 
+void
+done_settings(void)
+{
+  if ( rng ) 
+    gsl_rng_free (rng);
+  free (set_pager);
+  free (set_journal);
+
+  free (cmd.s_endcmd);
+  free (cmd.s_prompt);
+  free (cmd.s_cprompt);
+  free (cmd.s_dprompt);
+}
+
+
+
 void
 init_settings(void)
 {