diff options
Diffstat (limited to 'src/base/abc/abcUtil.c')
| -rw-r--r-- | src/base/abc/abcUtil.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/base/abc/abcUtil.c b/src/base/abc/abcUtil.c index 0f7a4ab8..bc71143b 100644 --- a/src/base/abc/abcUtil.c +++ b/src/base/abc/abcUtil.c @@ -22,6 +22,7 @@ #include "main.h" #include "mio.h" #include "dec.h" +#include "abcs.h" //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// @@ -931,9 +932,6 @@ void Abc_NtkReassignIds( Abc_Ntk_t * pNtk ) pConst1 = Abc_AigConst1(pNtk->pManFunc); pConst1->Id = Vec_PtrSize( vObjsNew ); Vec_PtrPush( vObjsNew, pConst1 ); - pReset = Abc_AigReset(pNtk->pManFunc); - pReset->Id = Vec_PtrSize( vObjsNew ); - Vec_PtrPush( vObjsNew, pReset ); } // put PI nodes next Abc_NtkForEachPi( pNtk, pNode, i ) |