From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 29 Jul 2012 11:37:41 +0000 (+0200)
Subject: Fix memory leak in dictionary.c
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=40be9c4de5c8025d3a174aee2764c926a78eb7c6;p=pspp

Fix memory leak in dictionary.c
---

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);