Fixed bug #11675

[pspp] / src / set.q

diff --git a/src/set.q b/src/set.q
index b6bcb23f7a5aa36a5fdcb06113df5c393e4a1ae6..120606fb66eddc3822a1f370fda4f5c9c42778fe 100644 (file)
--- a/src/set.q
+++ b/src/set.q
@@ -1054,13 +1054,15 @@ set_viewport(int sig_num UNUSED)
 void
 done_settings(void)
 {
-  free(set_pager);
-  free(set_journal);
-
-  free(cmd.s_endcmd);
-  free(cmd.s_prompt);
-  free(cmd.s_cprompt);
-  free(cmd.s_dprompt);
+  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);
 }