diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-23 12:29:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-23 12:29:16 -0700 |
| commit | c8ed816714c51e2876e3d74b211728c12835070f (patch) | |
| tree | 4a59369576ed47d1bcfc24b67950931ffbc4d907 /src/base/abci | |
| parent | 6e774ef541114d1cff4926192dc5221c4f43c52e (diff) | |
| download | abc-c8ed816714c51e2876e3d74b211728c12835070f.tar.gz abc-c8ed816714c51e2876e3d74b211728c12835070f.tar.bz2 abc-c8ed816714c51e2876e3d74b211728c12835070f.zip | |
Migrating to array-based traversal ID.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abcRec.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/base/abci/abcRec.c b/src/base/abci/abcRec.c index cd2cae93..b5812ecd 100644 --- a/src/base/abci/abcRec.c +++ b/src/base/abci/abcRec.c @@ -1267,7 +1267,6 @@ void Abc_NtkRecStart( Abc_Ntk_t * pNtk, int nVars, int nCuts, int fTrim ) Abc_ObjAssignName( pObj, Buffer, NULL ); } Abc_NtkCleanCopy( pNtk ); - Abc_NtkCleanEquiv( pNtk ); // start the manager p = ABC_ALLOC( Abc_ManRec_t, 1 ); |