summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2020-07-20 19:56:06 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2020-07-20 19:56:06 -0700
commit448f26344325cc78942d576740457036671b0976 (patch)
tree6b106b4b0035883a9811a0864281d76e848ff2d9 /src
parent25538c23c51a5b79af3f70d4c15f2a6f86b98189 (diff)
downloadabc-448f26344325cc78942d576740457036671b0976.tar.gz
abc-448f26344325cc78942d576740457036671b0976.tar.bz2
abc-448f26344325cc78942d576740457036671b0976.zip
Fixing new resub code.
Diffstat (limited to 'src')
-rw-r--r--src/aig/gia/giaResub2.c3
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