Trying to make sorting of nodes platform-indendent.

This commit is contained in:
Alan Mishchenko 2011-12-15 13:39:16 -08:00
parent 9608bcd1d8
commit c80c0cc6c9
1 changed files with 1 additions and 1 deletions

View File

@ -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 );