diff options
Diffstat (limited to 'src/base/abci/abcReorder.c')
| -rw-r--r-- | src/base/abci/abcReorder.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abcReorder.c b/src/base/abci/abcReorder.c index d6dee49b..182780cd 100644 --- a/src/base/abci/abcReorder.c +++ b/src/base/abci/abcReorder.c @@ -77,6 +77,8 @@ void Abc_NtkBddReorder( Abc_Ntk_t * pNtk, int fVerbose ) reo_man * p; Abc_Obj_t * pNode; int i; + Abc_NtkRemoveDupFanins( pNtk ); + Abc_NtkMinimumBase( pNtk ); p = Extra_ReorderInit( Abc_NtkGetFaninMax(pNtk), 100 ); Abc_NtkForEachNode( pNtk, pNode, i ) { |