X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsys-file-reader.c;h=b92f42a96c6e159e13bb8c2f0d8a3cf419798923;hb=8c79cbade5201eb7140dc17b099bbf66bb26e420;hp=268023cf2f3ed71ab529e7f41a1afe9144ddc839;hpb=c0e45e85a654b657583164b3595994794138cd9e;p=pspp

diff --git a/src/data/sys-file-reader.c b/src/data/sys-file-reader.c
index 268023cf2f..b92f42a96c 100644
--- a/src/data/sys-file-reader.c
+++ b/src/data/sys-file-reader.c
@@ -1172,6 +1172,7 @@ read_mrsets (struct sfm_reader *r, size_t size, size_t count,
 
       dict_add_mrset (dict, mrset);
       mrset = NULL;
+      stringi_set_destroy (&var_names);
     }
   mrset_destroy (mrset);
   close_text_record (r, text);