Valgrind-ispired fix in CUDD by Kai-hui Chang.

343f77a3 · Alan Mishchenko · 21aa0ee0 · 343f77a3
Commit 343f77a3 authored Oct 03, 2017 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/bdd/cudd/cuddReorder.c
+1 -0

No files found.
--- 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 */