From 9e6d0664cbc8f25bbbcdb1f022864b518afd2038 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 28 Jul 2011 15:27:07 +0700 Subject: Other changes to enable new features in the mapper (bug fix). --- src/base/abci/abcIf.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index 081bf281..e1218343 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -323,7 +323,7 @@ Abc_Ntk_t * Abc_NtkFromIf( If_Man_t * pIfMan, Abc_Ntk_t * pNtk ) // remove the constant node if not used pNodeNew = (Abc_Obj_t *)If_ObjCopy( If_ManConst1(pIfMan) ); - if ( Abc_ObjFanoutNum(pNodeNew) == 0 ) + if ( Abc_ObjFanoutNum(pNodeNew) == 0 && !Abc_ObjIsNone(pNodeNew) ) Abc_NtkDeleteObj( pNodeNew ); // minimize the node if ( pIfMan->pPars->fUseBdds || pIfMan->pPars->fUseCnfs || pIfMan->pPars->fUseMv ) -- cgit v1.2.3