diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-10 17:35:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-10 17:35:33 -0700 |
| commit | 0294fc78614941994906c2e5b480a6ea870d2d95 (patch) | |
| tree | 0a96014d5ec1fca1d1abbb6489aa86a502654419 /src/aig/gia/giaChoice.c | |
| parent | cc0e5d4f1dd0b1ae786328e542fbb62f90086c65 (diff) | |
| download | abc-0294fc78614941994906c2e5b480a6ea870d2d95.tar.gz abc-0294fc78614941994906c2e5b480a6ea870d2d95.tar.bz2 abc-0294fc78614941994906c2e5b480a6ea870d2d95.zip | |
Commenting out printout.
Diffstat (limited to 'src/aig/gia/giaChoice.c')
| -rw-r--r-- | src/aig/gia/giaChoice.c | 4 |
1 files changed, 2 insertions, 2 deletions
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************************************************************* |