diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 13:39:16 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 13:39:16 -0800 |
| commit | c80c0cc6c9d86032b3776a3aa99995035c78e3cb (patch) | |
| tree | c7e806314c09f4d10ef10da68f941e433c52bb26 | |
| parent | 9608bcd1d84bd8fd19a038de818972a0f78a1737 (diff) | |
| download | abc-c80c0cc6c9d86032b3776a3aa99995035c78e3cb.tar.gz abc-c80c0cc6c9d86032b3776a3aa99995035c78e3cb.tar.bz2 abc-c80c0cc6c9d86032b3776a3aa99995035c78e3cb.zip | |
Trying to make sorting of nodes platform-indendent.
| -rw-r--r-- | src/aig/dar/darScript.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/dar/darScript.c b/src/aig/dar/darScript.c index 2f4bc69d..b40c6b3c 100644 --- a/src/aig/dar/darScript.c +++ b/src/aig/dar/darScript.c @@ -284,7 +284,7 @@ Aig_Man_t * Dar_ManCompress2( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, if ( fVerbose ) printf( "Refactor: " ), Aig_ManPrintStats( pAig ); // balance - if ( fBalance ) +// if ( fBalance ) { pAig = Dar_ManBalance( pTemp = pAig, fUpdateLevel ); Aig_ManStop( pTemp ); |