X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fsys-file-reader.c;h=e9f63fa0ed68a99ab0d9088663c10449bbd63b66;hb=1d0e519ccf11fb242ac4f1205292c9c2cedd2d2d;hp=3369edf738fd2cb10191fbf6e9856f987a25b4ab;hpb=eb17696132c78cc38f92d993c78f9dce63e0faa9;p=pspp

diff --git a/src/data/sys-file-reader.c b/src/data/sys-file-reader.c
index 3369edf738..e9f63fa0ed 100644
--- a/src/data/sys-file-reader.c
+++ b/src/data/sys-file-reader.c
@@ -1421,6 +1421,7 @@ parse_mrsets (struct sfm_reader *r, const struct sfm_extension_record *record,
                     _("MRSET %s has only %zu variables."), mrset->name,
                     mrset->n_vars);
           mrset_destroy (mrset);
+	  stringi_set_destroy (&var_names);
           continue;
         }