From ea73401db5258da2311e6ad4d31a9a7e10437f33 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 20 Jul 2014 22:11:00 -0700
Subject: Updates and changes to several packages.

---
 src/aig/gia/giaMf.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/aig/gia/giaMf.c')

diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c
index 0ff54c8d..da571904 100644
--- a/src/aig/gia/giaMf.c
+++ b/src/aig/gia/giaMf.c
@@ -943,7 +943,7 @@ static inline int Mf_CutArea( Mf_Man_t * p, int nLeaves, int iFunc )
     if ( p->pPars->fGenCnf )
         return Vec_IntEntry(&p->vCnfSizes, Abc_Lit2Var(iFunc));
     if ( p->pPars->fOptEdge )
-        return nLeaves + 1;
+        return nLeaves + p->pPars->nAreaTuner;
     return 1;
 }
 static inline void Mf_CutParams( Mf_Man_t * p, Mf_Cut_t * pCut, float FlowRefs )
@@ -1386,6 +1386,7 @@ void Mf_ManSetDefaultPars( Jf_Par_t * pPars )
     pPars->nRoundsEla   =  1;
     pPars->nRelaxRatio  =  0;
     pPars->nCoarseLimit =  3;
+    pPars->nAreaTuner   =  1;
     pPars->nVerbLimit   =  5;
     pPars->DelayTarget  = -1;
     pPars->fAreaOnly    =  0;
-- 
cgit v1.2.3