diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-12-11 21:22:46 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-12-11 21:22:46 -0800 |
| commit | 8b6207e171f1a07357cd11a43e20c5c0a0d7fc28 (patch) | |
| tree | 1c272dcb3906d9eedc5455866c79fafa7974c30c | |
| parent | 6fb8b17c2d4183b595d7f6fd0cfc7fb387f450f2 (diff) | |
| download | abc-8b6207e171f1a07357cd11a43e20c5c0a0d7fc28.tar.gz abc-8b6207e171f1a07357cd11a43e20c5c0a0d7fc28.tar.bz2 abc-8b6207e171f1a07357cd11a43e20c5c0a0d7fc28.zip | |
Bug fix in recently modified code.
| -rw-r--r-- | src/base/acb/acbUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/acb/acbUtil.c b/src/base/acb/acbUtil.c index 17c32485..001a137b 100644 --- a/src/base/acb/acbUtil.c +++ b/src/base/acb/acbUtil.c @@ -587,7 +587,7 @@ Vec_Int_t * Acb_NtkCollectCopies( Acb_Ntk_t * p, Gia_Man_t * pGia, Vec_Ptr_t ** Vec_Int_t * vObjs = Acb_NtkFindNodes2( p ); Vec_Int_t * vNodes = Vec_IntAlloc( Acb_NtkObjNum(p) ); Vec_Ptr_t * vNodesR = Vec_PtrStart( Gia_ManObjNum(pGia) ); - Vec_Bit_t * vDriver = Vec_BitStart( Acb_NtkObjNum(p) ); + Vec_Bit_t * vDriver = Vec_BitStart( Gia_ManObjNum(pGia) ); Gia_ManForEachCoId( pGia, iObj, i ) { Vec_BitWriteEntry( vDriver, Gia_ObjFaninId0(Gia_ManObj(pGia, iObj), iObj), 1 ); |