From 270f6db24625e4838dcafe7d45e69cc9522d703e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 22 Jun 2015 23:04:56 -0700 Subject: Version abc90715 committer: Baruch Sterin --- src/aig/ntl/ntlUtil.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/aig/ntl/ntlUtil.c') 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; } } -- cgit v1.2.3