X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffrequencies.q;h=353c2be634a193bd4d3d41427b266694a8eca743;hb=3838b041ea9a749d3a0d604f62f7d9523f91f3d8;hp=d40267e26bac7b92d555f01625e749e6c746bd29;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/frequencies.q b/src/frequencies.q
index d40267e26b..353c2be634 100644
--- a/src/frequencies.q
+++ b/src/frequencies.q
@@ -192,8 +192,11 @@ cmd_frequencies (void)
   int_pool = pool_create ();
   result = internal_cmd_frequencies ();
   pool_destroy (int_pool);
+  int_pool=0;
   pool_destroy (gen_pool);
+  gen_pool=0;
   free (v_variables);
+  v_variables=0;
   return result;
 }