X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmrset.c;h=d1807b96f301000f807ccc87fb696d735562530e;hb=207dcaa849d7c1d5090f198e9c86f9bfc484a89e;hp=2f05edb845886786caab5b5ce94503ea22e206c5;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;p=pspp-builds.git

diff --git a/src/data/mrset.c b/src/data/mrset.c
index 2f05edb8..d1807b96 100644
--- a/src/data/mrset.c
+++ b/src/data/mrset.c
@@ -58,6 +58,7 @@ mrset_destroy (struct mrset *mrset)
       free (mrset->label);
       free (mrset->vars);
       value_destroy (&mrset->counted, mrset->width);
+      free (mrset);
     }
 }