diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-10-03 19:14:27 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-10-03 19:14:27 +0300 |
| commit | 343f77a39546c45e11ad22a3fd978fc17d73720a (patch) | |
| tree | c0ba5c2cf0a5f591e4c6dfa20a7c74849837b45d /src | |
| parent | 21aa0ee0e8bbccd33e9e70533fda7377a764e1d4 (diff) | |
| download | abc-343f77a39546c45e11ad22a3fd978fc17d73720a.tar.gz abc-343f77a39546c45e11ad22a3fd978fc17d73720a.tar.bz2 abc-343f77a39546c45e11ad22a3fd978fc17d73720a.zip | |
Valgrind-ispired fix in CUDD by Kai-hui Chang.
Diffstat (limited to 'src')
| -rw-r--r-- | src/bdd/cudd/cuddReorder.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bdd/cudd/cuddReorder.c b/src/bdd/cudd/cuddReorder.c index 662d32c0..ded43855 100644 --- a/src/bdd/cudd/cuddReorder.c +++ b/src/bdd/cudd/cuddReorder.c @@ -480,6 +480,7 @@ cuddDynamicAllocNode( node = table->nextFree; table->nextFree = node->next; + node->Id = 0; return (node); } /* end of cuddDynamicAllocNode */ |