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

diff --git a/src/data/dictionary.c b/src/data/dictionary.c
index aa0fcd5654..9222f7ec0b 100644
--- a/src/data/dictionary.c
+++ b/src/data/dictionary.c
@@ -297,7 +297,8 @@ 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);
     }
 }