diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-07-20 19:56:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-07-20 19:56:06 -0700 |
| commit | 448f26344325cc78942d576740457036671b0976 (patch) | |
| tree | 6b106b4b0035883a9811a0864281d76e848ff2d9 /src/aig/gia/giaResub2.c | |
| parent | 25538c23c51a5b79af3f70d4c15f2a6f86b98189 (diff) | |
| download | abc-448f26344325cc78942d576740457036671b0976.tar.gz abc-448f26344325cc78942d576740457036671b0976.tar.bz2 abc-448f26344325cc78942d576740457036671b0976.zip | |
Fixing new resub code.
Diffstat (limited to 'src/aig/gia/giaResub2.c')
| -rw-r--r-- | src/aig/gia/giaResub2.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/aig/gia/giaResub2.c b/src/aig/gia/giaResub2.c index 05f3e40b..e14191a9 100644 --- a/src/aig/gia/giaResub2.c +++ b/src/aig/gia/giaResub2.c @@ -255,7 +255,6 @@ int Gia_Rsb2ManDivs( Gia_Rsb2Man_t * p, int iNode ) { int i, iNodeLevel = 0; int * pRefs = Vec_IntArray( &p->vRefs ); - int * pObjs = Vec_IntArray( &p->vObjs ); p->CareSet = Gia_Rsb2ManOdcs( p, iNode ); p->Truth1 = p->CareSet & Vec_WrdEntry(&p->vSims, 2*iNode); p->Truth0 = p->CareSet & ~p->Truth1; @@ -409,7 +408,7 @@ int Abc_ResubComputeWindow( int * pObjs, int nObjs, int nDivsMax, int nLevelIncr while ( (iNode = Abc_ResubNodeToTry(&p->vTried, p->nPis+1, p->iFirstPo)) > 0 ) { int nDivs = Gia_Rsb2ManDivs( p, iNode ); - int * pResub, nResub = Abc_ResubComputeFunction( (word **)Vec_PtrArray(&p->vpDivs), nDivs, 1, p->nMffc-1, nDivsMax, 0, fUseXor, fDebug, fVerbose, &pResub ); + int * pResub, nResub = Abc_ResubComputeFunction( Vec_PtrArray(&p->vpDivs), nDivs, 1, p->nMffc-1, nDivsMax, 0, fUseXor, fDebug, fVerbose, &pResub ); if ( nResub == 0 ) Vec_IntPush( &p->vTried, iNode ); else |