diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-01 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-01 08:01:00 -0700 |
| commit | 4a9789e58d27ecaba541ba3fcb0565a334dcd54b (patch) | |
| tree | 1784dcf05dd78b0acddb7d52764f1e3fd6ef2d49 /src/aig/dar | |
| parent | d0341836ddb38ccc087bdac3df4e8b2ff7fe7a8f (diff) | |
| download | abc-4a9789e58d27ecaba541ba3fcb0565a334dcd54b.tar.gz abc-4a9789e58d27ecaba541ba3fcb0565a334dcd54b.tar.bz2 abc-4a9789e58d27ecaba541ba3fcb0565a334dcd54b.zip | |
Version abc80701
Diffstat (limited to 'src/aig/dar')
| -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 79e4dcc4..6ebfec9d 100644 --- a/src/aig/dar/darCut.c +++ b/src/aig/dar/darCut.c @@ -586,7 +586,7 @@ Dar_Cut_t * Dar_ObjPrepareCuts( Dar_Man_t * p, Aig_Obj_t * pObj ) // create the cutset of the node pCutSet = (Dar_Cut_t *)Aig_MmFixedEntryFetch( p->pMemCuts ); Dar_ObjSetCuts( pObj, pCutSet ); - Dar_ObjForEachCut( pObj, pCut, i ) + Dar_ObjForEachCutAll( pObj, pCut, i ) pCut->fUsed = 0; // add unit cut if needed pCut = pCutSet; |