diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-12 20:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-12 20:01:00 -0700 |
| commit | 37b6c727f1276d9d97a79a8f40271aee446a4ba4 (patch) | |
| tree | 069004bcd7c14e786e9d67e1d407ce2bef4688c0 /src/base/abci/abcRr.c | |
| parent | cb899ec848984b194a9c227c7a01f147454ce591 (diff) | |
| download | abc-37b6c727f1276d9d97a79a8f40271aee446a4ba4.tar.gz abc-37b6c727f1276d9d97a79a8f40271aee446a4ba4.tar.bz2 abc-37b6c727f1276d9d97a79a8f40271aee446a4ba4.zip | |
Version abc80512_2
Diffstat (limited to 'src/base/abci/abcRr.c')
| -rw-r--r-- | src/base/abci/abcRr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcRr.c b/src/base/abci/abcRr.c index 80d234f1..c33444df 100644 --- a/src/base/abci/abcRr.c +++ b/src/base/abci/abcRr.c @@ -354,7 +354,7 @@ int Abc_NtkRRProve( Abc_RRMan_t * p ) Abc_NtkRRUpdate( pWndCopy, p->pNode->pCopy->pCopy, p->pFanin->pCopy->pCopy, p->pFanout? p->pFanout->pCopy->pCopy : NULL ); if ( !Abc_NtkIsDfsOrdered(pWndCopy) ) Abc_NtkReassignIds(pWndCopy); - p->pMiter = Abc_NtkMiter( p->pWnd, pWndCopy, 1, 0, 0 ); + p->pMiter = Abc_NtkMiter( p->pWnd, pWndCopy, 1, 0, 0, 0 ); Abc_NtkDelete( pWndCopy ); clk = clock(); RetValue = Abc_NtkMiterProve( &p->pMiter, p->pParams ); |