From 50fe603b832b0bc31f536ff1d7ef140a511ffb59 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 6 Sep 2015 20:48:25 -0700 Subject: More tuning in &nf. --- src/aig/gia/giaNf.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig') diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 653b5b70..84ba55ae 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -1872,7 +1872,7 @@ void Nf_ManResetMatches( Nf_Man_t * p, int Round ) else { assert( Round > 0 || (!pDc->fBest && !pAc->fBest) ); - if ( (Round & 1) ) + if ( p->pPars->fAreaOnly || (Round & 1) ) ABC_SWAP( Nf_Mat_t, *pDc, *pAc ); pDc->fBest = 1; pAc->fBest = 0; -- cgit v1.2.3