diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-10 08:01:00 -0700 |
| commit | ccd1b57264d3bf1514410747cdcf6e4731ac7f2a (patch) | |
| tree | 17993c239735ee63c4e8ed69cb1c3df7eacecc6d /src/aig/dar/darLib.c | |
| parent | df6fdd1dffd8ce83dfc4a7868ebdd25241f8f24b (diff) | |
| download | abc-ccd1b57264d3bf1514410747cdcf6e4731ac7f2a.tar.gz abc-ccd1b57264d3bf1514410747cdcf6e4731ac7f2a.tar.bz2 abc-ccd1b57264d3bf1514410747cdcf6e4731ac7f2a.zip | |
Version abc90410
Diffstat (limited to 'src/aig/dar/darLib.c')
| -rw-r--r-- | src/aig/dar/darLib.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/dar/darLib.c b/src/aig/dar/darLib.c index cfa4594d..7b23aa33 100644 --- a/src/aig/dar/darLib.c +++ b/src/aig/dar/darLib.c @@ -730,7 +730,7 @@ int Dar_LibCutMarkMffc( Aig_Man_t * p, Aig_Obj_t * pRoot, int nLeaves, float * p for ( i = 0; i < nLeaves; i++ ) Aig_Regular(s_DarLib->pDatas[i].pFunc)->nRefs++; // label MFFC with current ID - nNodes = Aig_NodeMffsLabel( p, pRoot, pPower ); + nNodes = Aig_NodeMffcLabel( p, pRoot, pPower ); // unmark the cut leaves for ( i = 0; i < nLeaves; i++ ) Aig_Regular(s_DarLib->pDatas[i].pFunc)->nRefs--; |