Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
buddy
src
bddop.c
Find file
Blame
History
Permalink
* src/bddop.c (bdd_support): Free supportSet if it needs to be
· 7aecf4ad
Alexandre Duret-Lutz
authored
Jan 07, 2004
reallocated. This fixes a memory leak reported by Souheib.Baarir@lip6.fr.
7aecf4ad