X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffrequencies.q;h=353c2be634a193bd4d3d41427b266694a8eca743;hb=b01483eff69406430b88704dc13140bef3149f4d;hp=d40267e26bac7b92d555f01625e749e6c746bd29;hpb=2e0595dd8e344dbdcab740d7d2a3b67d153d6b39;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;
 }