diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:56 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:56 -0700 |
| commit | 270f6db24625e4838dcafe7d45e69cc9522d703e (patch) | |
| tree | 2183a977adcce56464f4584fde7db96eb19ee367 /src/aig/ntl/ntlUtil.c | |
| parent | 0398ced8243806439b814f21ca7d6e584cea13a1 (diff) | |
| download | abc-270f6db24625e4838dcafe7d45e69cc9522d703e.tar.gz abc-270f6db24625e4838dcafe7d45e69cc9522d703e.tar.bz2 abc-270f6db24625e4838dcafe7d45e69cc9522d703e.zip | |
Version abc90715
committer: Baruch Sterin <baruchs@gmail.com>
Diffstat (limited to 'src/aig/ntl/ntlUtil.c')
| -rw-r--r-- | src/aig/ntl/ntlUtil.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/ntl/ntlUtil.c b/src/aig/ntl/ntlUtil.c index 6a4b18d5..0bd86247 100644 --- a/src/aig/ntl/ntlUtil.c +++ b/src/aig/ntl/ntlUtil.c @@ -247,10 +247,10 @@ void Ntl_ManSetZeroInitValues( Ntl_Man_t * p ) SeeAlso [] ***********************************************************************/ -void Ntl_ManAddInverters( Ntl_Obj_t * pObj ) +void Ntl_ManAddInverters( Ntl_Mod_t * pRoot, Ntl_Obj_t * pObj ) { char * pStore; - Ntl_Mod_t * pRoot = pObj->pModel; +// Ntl_Mod_t * pRoot = pObj->pModel; Ntl_Man_t * pMan = pRoot->pMan; Ntl_Net_t * pNetLo, * pNetLi, * pNetLoInv, * pNetLiInv; Ntl_Obj_t * pNode; @@ -322,7 +322,7 @@ void Ntl_ManTransformInitValues( Ntl_Man_t * p ) Ntl_ModelForEachLatch( pRoot, pObj, i ) { if ( Ntl_ObjIsInit1( pObj ) ) - Ntl_ManAddInverters( pObj ); + Ntl_ManAddInverters( pRoot, pObj ); pObj->LatchId.regInit = 0; } } |