X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fdictionary.c;h=9222f7ec0ba85ab94bdc88952029f8e59fc4b3d5;hb=7c6e9646a94126a410fab4d00714396b98923230;hp=dc7e8732296ebc4703faa91cc429719ecff846b2;hpb=458ebdc8a14f6f3cb28dfb991b7cf1d2e422a852;p=pspp

diff --git a/src/data/dictionary.c b/src/data/dictionary.c
index dc7e873229..9222f7ec0b 100644
--- a/src/data/dictionary.c
+++ b/src/data/dictionary.c
@@ -297,7 +297,7 @@ dict_destroy (struct dictionary *d)
       dict_clear (d);
       hmap_destroy (&d->name_map);
       attrset_destroy (&d->attributes);
-      free (d->mrsets);
+      dict_clear_mrsets (d);
       free (d->encoding);
       free (d);
     }