From 0294fc78614941994906c2e5b480a6ea870d2d95 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 10 Oct 2012 17:35:33 -0700 Subject: Commenting out printout. --- src/aig/gia/giaChoice.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/aig/gia/giaChoice.c b/src/aig/gia/giaChoice.c index f5619028..85f0a372 100644 --- a/src/aig/gia/giaChoice.c +++ b/src/aig/gia/giaChoice.c @@ -137,8 +137,8 @@ void Gia_ManVerifyChoices( Gia_Man_t * p ) printf( "Fanin 0 of CO node %d has a repr.\n", i ), fProb = 1; } } - if ( !fProb ) - printf( "GIA with choices is correct.\n" ); +// if ( !fProb ) +// printf( "GIA with choices is correct.\n" ); } /**Function************************************************************* -- cgit v1.2.3