diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-11-10 11:08:15 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-11-10 11:08:15 -0800 |
commit | fb436339a9242b217ff081c8d11870c9f65a6674 (patch) | |
tree | 5df0bb73886a57543dec824917be59af3a9f1f46 /src/bdd | |
parent | 4d56acfd5aa59cf5d2d0109d9836fadb33cffe97 (diff) | |
download | abc-fb436339a9242b217ff081c8d11870c9f65a6674.tar.gz abc-fb436339a9242b217ff081c8d11870c9f65a6674.tar.bz2 abc-fb436339a9242b217ff081c8d11870c9f65a6674.zip |
Undoing an old change, which affects BDD variable reordering on some examples in &reachy.
Diffstat (limited to 'src/bdd')
-rw-r--r-- | src/bdd/cudd/cuddReorder.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddReorder.c b/src/bdd/cudd/cuddReorder.c index ded43855..a68cef28 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 */ |