diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-21 23:52:05 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-21 23:52:05 +0700 |
| commit | 034fc5a14dcbc2e195743a2fb8a640d9a6448ff5 (patch) | |
| tree | 46f20a87602860c767b0465b0dccaf572a13ca1c /src/aig | |
| parent | 77b83074e0caf86f5bab8fbf1d26c3d8f2dbb36a (diff) | |
| download | abc-034fc5a14dcbc2e195743a2fb8a640d9a6448ff5.tar.gz abc-034fc5a14dcbc2e195743a2fb8a640d9a6448ff5.tar.bz2 abc-034fc5a14dcbc2e195743a2fb8a640d9a6448ff5.zip | |
Misc changes.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 333fe58e..d55f581a 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -992,8 +992,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************************************************************* |