diff options
Diffstat (limited to 'src/aig/dar/darCut.c')
| -rw-r--r-- | src/aig/dar/darCut.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/dar/darCut.c b/src/aig/dar/darCut.c index 08bd77a9..b0aff095 100644 --- a/src/aig/dar/darCut.c +++ b/src/aig/dar/darCut.c @@ -479,7 +479,7 @@ static inline int Dar_CutSuppMinimize( Dar_Cut_t * pCut ) unsigned uPhase = 0, uTruth = 0xFFFF & pCut->uTruth; int i, k, nLeaves; assert( pCut->fUsed ); - // compute the truth support of the cut's function + // compute the support of the cut's function nLeaves = pCut->nLeaves; for ( i = 0; i < (int)pCut->nLeaves; i++ ) if ( (uTruth & uMasks[i][0]) == ((uTruth & uMasks[i][1]) >> (1 << i)) ) |