From c80c0cc6c9d86032b3776a3aa99995035c78e3cb Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 15 Dec 2011 13:39:16 -0800 Subject: Trying to make sorting of nodes platform-indendent. --- src/aig/dar/darScript.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig') 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 ); -- cgit v1.2.3