diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-26 20:45:28 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-26 20:45:28 -0800 |
| commit | 40cbacaf404e389ce37b94d4c2e33c41527f16fa (patch) | |
| tree | 26f8d3c0041a7cd63d4baa823bb4394c6dced098 /src/aig | |
| parent | 65cd556b1d96a316353fdab1b681702a4bf1d419 (diff) | |
| download | abc-40cbacaf404e389ce37b94d4c2e33c41527f16fa.tar.gz abc-40cbacaf404e389ce37b94d4c2e33c41527f16fa.tar.bz2 abc-40cbacaf404e389ce37b94d4c2e33c41527f16fa.zip | |
Several ongoing changes.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaScript.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c index cc6300c8..56733167 100644 --- a/src/aig/gia/giaScript.c +++ b/src/aig/gia/giaScript.c @@ -414,7 +414,7 @@ Gia_Man_t * Gia_ManAigSynch2( Gia_Man_t * pInit, void * pPars0, int nLutSize, in Gia_ManStop( pTemp ); } // perform balancing - if ( Gia_ManBufNum(pGia1) ) + if ( Gia_ManBufNum(pGia1) || 1 ) pGia2 = Gia_ManAreaBalance( pGia1, 0, ABC_INFINITY, 0, 0 ); else { |