diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-17 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-17 08:01:00 -0700 |
| commit | dd5531caf916d526551049b59151990adaef575d (patch) | |
| tree | 8520c4dee3ec65f1bd3c44104f4d80ff9df0caab /src/base/abci/abcIf.c | |
| parent | 2696cf05e568f7a928f32b01534d106bf626ef8a (diff) | |
| download | abc-dd5531caf916d526551049b59151990adaef575d.tar.gz abc-dd5531caf916d526551049b59151990adaef575d.tar.bz2 abc-dd5531caf916d526551049b59151990adaef575d.zip | |
Version abc70317
Diffstat (limited to 'src/base/abci/abcIf.c')
| -rw-r--r-- | src/base/abci/abcIf.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index 00861e1b..46f7dd13 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -150,6 +150,7 @@ If_Man_t * Abc_NtkToIf( Abc_Ntk_t * pNtk, If_Par_t * pPars ) // set up the choice node if ( Abc_AigNodeIsChoice( pNode ) ) { + pIfMan->nChoices++; for ( pPrev = pNode, pFanin = pNode->pData; pFanin; pPrev = pFanin, pFanin = pFanin->pData ) If_ObjSetChoice( (If_Obj_t *)pPrev->pCopy, (If_Obj_t *)pFanin->pCopy ); If_ManCreateChoice( pIfMan, (If_Obj_t *)pNode->pCopy ); |