From 8b6207e171f1a07357cd11a43e20c5c0a0d7fc28 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 11 Dec 2019 21:22:46 -0800 Subject: Bug fix in recently modified code. --- src/base/acb/acbUtil.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/acb') 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 ); -- cgit v1.2.3