diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-09-16 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-09-16 08:01:00 -0700 |
| commit | 370578bf1c4504b65f49ab63fcf7ed9c88a15d69 (patch) | |
| tree | d8297df3e080f52c6526fd7ccded9dd4cc601f2d /src/temp/ivy/ivyBalance.c | |
| parent | aab0c478e4c78c6856919fcd1027583ca148f3eb (diff) | |
| download | abc-370578bf1c4504b65f49ab63fcf7ed9c88a15d69.tar.gz abc-370578bf1c4504b65f49ab63fcf7ed9c88a15d69.tar.bz2 abc-370578bf1c4504b65f49ab63fcf7ed9c88a15d69.zip | |
Version abc60916
Diffstat (limited to 'src/temp/ivy/ivyBalance.c')
| -rw-r--r-- | src/temp/ivy/ivyBalance.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/temp/ivy/ivyBalance.c b/src/temp/ivy/ivyBalance.c index 3e8bd6d2..5627039a 100644 --- a/src/temp/ivy/ivyBalance.c +++ b/src/temp/ivy/ivyBalance.c @@ -17,7 +17,7 @@ Revision [$Id: ivyBalance.c,v 1.00 2006/05/11 00:00:00 alanmi Exp $] ***********************************************************************/ - + #include "ivy.h" //////////////////////////////////////////////////////////////////////// @@ -73,7 +73,9 @@ Ivy_Man_t * Ivy_ManBalance( Ivy_Man_t * p, int fUpdateLevel ) } Vec_VecFree( vStore ); if ( i = Ivy_ManCleanup( pNew ) ) - printf( "Cleanup after balancing removed %d dangling nodes.\n", i ); + { +// printf( "Cleanup after balancing removed %d dangling nodes.\n", i ); + } // check the resulting AIG if ( !Ivy_ManCheck(pNew) ) printf( "Ivy_ManBalance(): The check has failed.\n" ); |