X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmrset.c;h=d1807b96f301000f807ccc87fb696d735562530e;hb=a7b5ed72c52e462c75a2fed485ed65aaf09a1d39;hp=2f05edb845886786caab5b5ce94503ea22e206c5;hpb=c5ad65b0351ab1d897eb072eeaec06fb37802b01;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);
     }
 }