diff --git a/src/bdd/cudd/cuddReorder.c b/src/bdd/cudd/cuddReorder.c index ded43855c..a68cef280 100644 --- a/src/bdd/cudd/cuddReorder.c +++ b/src/bdd/cudd/cuddReorder.c @@ -480,7 +480,7 @@ cuddDynamicAllocNode( node = table->nextFree; table->nextFree = node->next; - node->Id = 0; + //node->Id = 0; return (node); } /* end of cuddDynamicAllocNode */