Commit d0b98065 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

[buddy] remember to free bddhash on exit

* src/kernel.c (bdd_done): Free bddhash.
parent 699f21b9
Pipeline #6384 failed with stages
in 111 minutes and 5 seconds
......@@ -276,6 +276,7 @@ void bdd_done(void)
free(bddvarset);
free(bddvar2level);
free(bddlevel2var);
free(bddhash);
bddnodes = NULL;
bddrefstack = NULL;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment