diff options
Diffstat (limited to 'src/base/abci/abcIfMux.c')
| -rw-r--r-- | src/base/abci/abcIfMux.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcIfMux.c b/src/base/abci/abcIfMux.c index 69098b4f..035345b6 100644 --- a/src/base/abci/abcIfMux.c +++ b/src/base/abci/abcIfMux.c @@ -145,7 +145,7 @@ void Abc_NtkCutCostMuxPrecompute() SeeAlso [] ***********************************************************************/ -int Abc_NtkCutCostMux( If_Cut_t * pCut ) +int Abc_NtkCutCostMux( If_Man_t * p, If_Cut_t * pCut ) { static char uLookup[256] = { 1, // 0 0x00 @@ -407,7 +407,7 @@ int Abc_NtkCutCostMux( If_Cut_t * pCut ) }; if ( pCut->nLeaves < 3 ) return 1; - if ( pCut->nLeaves == 3 && uLookup[0xff & *If_CutTruth(pCut)] ) + if ( pCut->nLeaves == 3 && uLookup[0xff & *If_CutTruth(p, pCut)] ) return 1; return (1 << pCut->nLeaves) - 1; } |