From d0b980650027e4b1514174dc1b0ce7767279b206 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 5 Feb 2019 18:12:30 +0100
Subject: [PATCH] [buddy] remember to free bddhash on exit

* src/kernel.c (bdd_done): Free bddhash.
---
 buddy/src/kernel.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/buddy/src/kernel.c b/buddy/src/kernel.c
index 900ba2601..c748c159d 100644
--- a/buddy/src/kernel.c
+++ b/buddy/src/kernel.c
@@ -276,6 +276,7 @@ void bdd_done(void)
    free(bddvarset);
    free(bddvar2level);
    free(bddlevel2var);
+   free(bddhash);
 
    bddnodes = NULL;
    bddrefstack = NULL;