Update widgets.c from psppsheet branch

[pspp] / src / data / dictionary.c

diff --git a/src/data/dictionary.c b/src/data/dictionary.c
index f65c6a063e1ab99cf918da6df19d3bdb6ea0145e..5731d78695148ad14e199d51ea0431109769f65e 100644 (file)
--- 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);