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

diff --git a/src/data/mrset.c b/src/data/mrset.c
index 2f05edb845..d1807b96f3 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);
     }
 }