diff options
Diffstat (limited to 'src/aig/gia/giaBalance.c')
| -rw-r--r-- | src/aig/gia/giaBalance.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaBalance.c b/src/aig/gia/giaBalance.c index abb6dd19..611bbf87 100644 --- a/src/aig/gia/giaBalance.c +++ b/src/aig/gia/giaBalance.c @@ -1032,6 +1032,7 @@ Gia_Man_t * Gia_ManAigSyn2( Gia_Man_t * p, int fOldAlgo, int fCoarsen, int fCutM pPars->fCoarsen = fCoarsen; pPars->fCutMin = fCutMin; pPars->nRelaxRatio = nRelaxRatio; + pPars->nAreaTuner = 1; } if ( fVerbose ) Gia_ManPrintStats( p, NULL ); if ( Gia_ManAndNum(p) == 0 ) |