Commenting out printout.

0294fc78 · Alan Mishchenko · cc0e5d4f · 0294fc78
Commit 0294fc78 authored Oct 10, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/aig/gia/giaChoice.c
+2 -2

No files found.
--- 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*************************************************************