luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Undoing an old change, which affects BDD variable reordering on some examples in &reachy.

This commit is contained in:
Alan Mishchenko 2018-11-10 11:08:15 -08:00
parent 4d56acfd5a
commit fb436339a9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/bdd/cudd/cuddReorder.c
View File

@ -480,7 +480,7 @@ cuddDynamicAllocNode(
node = table->nextFree;
table->nextFree = node->next;
node->Id = 0;
//node->Id = 0;
return (node);
} /* end of cuddDynamicAllocNode */