diff options
| -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************************************************************* |