dataset: Fix memory leak destroying a dataset that has a permanent_dict.

Found by Address Sanitizer.

diff --git a/src/data/dataset.c b/src/data/dataset.c
index 10005e0aca67968a72c12a45d4042104fc9ff327..4313cac8758aace9f07f214fd012179cd7664add 100644 (file)
--- a/src/data/dataset.c
+++ b/src/data/dataset.c
@@ -198,6 +198,7 @@ dataset_destroy (struct dataset *ds)
       dataset_set_session (ds, NULL);
       dataset_clear (ds);
       dict_unref (ds->dict);
+      dict_unref (ds->permanent_dict);
       caseinit_destroy (ds->caseinit);
       trns_chain_destroy (ds->permanent_trns_chain);
       dataset_transformations_changed__ (ds, false);