Temporarily disabling balance.

65318997 · Alan Mishchenko · c8e4a05f · 65318997
Commit 65318997 authored Dec 15, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/aig/dar/darScript.c
+1 -1

No files found.
--- 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 );