diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 17:39:38 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 17:39:38 -0700 |
| commit | 6b96d9a84e1356295c8c25588915701bd9160001 (patch) | |
| tree | 620261ecac8299bd3b259a11bef7b513efefb7a4 /src/opt | |
| parent | 5cd1396b3d752c968cd558f02625ce5f12688415 (diff) | |
| download | abc-6b96d9a84e1356295c8c25588915701bd9160001.tar.gz abc-6b96d9a84e1356295c8c25588915701bd9160001.tar.bz2 abc-6b96d9a84e1356295c8c25588915701bd9160001.zip | |
Integrating GIA with LUT mapping.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/nwk/nwkMap.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/opt/nwk/nwkMap.c b/src/opt/nwk/nwkMap.c index e80c4c93..e8be5a2d 100644 --- a/src/opt/nwk/nwkMap.c +++ b/src/opt/nwk/nwkMap.c @@ -163,7 +163,6 @@ If_Man_t * Nwk_ManToIf( Aig_Man_t * p, If_Par_t * pPars, Vec_Ptr_t * vAigToIf ) // set up the choice node if ( Aig_ObjIsChoice( p, pNode ) ) { - pIfMan->nChoices++; for ( pPrev = pNode, pFanin = Aig_ObjEquiv(p, pNode); pFanin; pPrev = pFanin, pFanin = Aig_ObjEquiv(p, pFanin) ) If_ObjSetChoice( (If_Obj_t *)pPrev->pData, (If_Obj_t *)pFanin->pData ); If_ManCreateChoice( pIfMan, (If_Obj_t *)pNode->pData ); |