diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-28 15:27:07 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-28 15:27:07 +0700 |
| commit | 9e6d0664cbc8f25bbbcdb1f022864b518afd2038 (patch) | |
| tree | cbadf866ba6eba491525e16f780843fa0d4b6496 /src/base/abci/abcIf.c | |
| parent | fddff7a55b127d592d625eb3df703a51e4386518 (diff) | |
| download | abc-9e6d0664cbc8f25bbbcdb1f022864b518afd2038.tar.gz abc-9e6d0664cbc8f25bbbcdb1f022864b518afd2038.tar.bz2 abc-9e6d0664cbc8f25bbbcdb1f022864b518afd2038.zip | |
Other changes to enable new features in the mapper (bug fix).
Diffstat (limited to 'src/base/abci/abcIf.c')
| -rw-r--r-- | src/base/abci/abcIf.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ) |