diff options
Diffstat (limited to 'src/opt/mfs/mfsCore_.c')
| -rw-r--r-- | src/opt/mfs/mfsCore_.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/mfs/mfsCore_.c b/src/opt/mfs/mfsCore_.c index ceee04cf..49105da6 100644 --- a/src/opt/mfs/mfsCore_.c +++ b/src/opt/mfs/mfsCore_.c @@ -89,7 +89,7 @@ p->timeWin += clock() - clk; // compute the divisors of the window clk = clock(); p->vDivs = Abc_MfsComputeDivisors( p, pNode, Abc_ObjRequiredLevel(pNode) - 1 ); - p->nTotalDivs += Vec_PtrSize(p->vDivs); + p->nTotalDivs += Vec_PtrSize(p->vDivs) - Abc_ObjFaninNum(pNode); p->timeDiv += clock() - clk; // construct AIG for the window clk = clock(); |