X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fdictionary.c;h=5731d78695148ad14e199d51ea0431109769f65e;hb=refs%2Fbuilds%2F20120826000503%2Fpspp;hp=f65c6a063e1ab99cf918da6df19d3bdb6ea0145e;hpb=69c115e334513b8230d702abc9de021a4c45b272;p=pspp

diff --git a/src/data/dictionary.c b/src/data/dictionary.c
index f65c6a063e..5731d78695 100644
--- a/src/data/dictionary.c
+++ b/src/data/dictionary.c
@@ -301,6 +301,7 @@ dict_destroy (struct dictionary *d)
       d->callbacks  = NULL ;
 
       dict_clear (d);
+      string_array_destroy (&d->documents);
       hmap_destroy (&d->name_map);
       attrset_destroy (&d->attributes);
       dict_clear_mrsets (d);