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;