From 82a757994ab8880706b7e0caeac2ca3bbd711ed2 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 9 Oct 2021 10:20:28 -0700
Subject: [PATCH] dataset: Fix memory leak destroying a dataset that has a
 permanent_dict.

Found by Address Sanitizer.
---
 src/data/dataset.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/data/dataset.c b/src/data/dataset.c
index 10005e0aca..4313cac875 100644
--- 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);
-- 
2.30.2