Bug fix in recently modified code.

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 );