From 370578bf1c4504b65f49ab63fcf7ed9c88a15d69 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 16 Sep 2006 08:01:00 -0700 Subject: Version abc60916 --- src/temp/ivy/ivyBalance.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/temp/ivy/ivyBalance.c') 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" ); -- cgit v1.2.3