diff options
-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 */ |