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

diff --git a/src/frequencies.q b/src/frequencies.q
index 353c2be6..d40267e2 100644
--- a/src/frequencies.q
+++ b/src/frequencies.q
@@ -192,11 +192,8 @@ 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;
 }