diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-03 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-03 08:01:00 -0700 |
| commit | 103fa22e9ce6ecc0f10fee5dac29726a153b1774 (patch) | |
| tree | a98529f19adb68c2059fa9c382853df37c989d0c /src/temp/rwt/rwtMan.c | |
| parent | 7e8e03206c56e7cd9d0d9fbb447c785c400ff3ee (diff) | |
| download | abc-103fa22e9ce6ecc0f10fee5dac29726a153b1774.tar.gz abc-103fa22e9ce6ecc0f10fee5dac29726a153b1774.tar.bz2 abc-103fa22e9ce6ecc0f10fee5dac29726a153b1774.zip | |
Version abc60803
Diffstat (limited to 'src/temp/rwt/rwtMan.c')
| -rw-r--r-- | src/temp/rwt/rwtMan.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/temp/rwt/rwtMan.c b/src/temp/rwt/rwtMan.c index f7dd38a7..869043a4 100644 --- a/src/temp/rwt/rwtMan.c +++ b/src/temp/rwt/rwtMan.c @@ -200,7 +200,7 @@ void Rwt_ManPrintStats( Rwt_Man_t * p ) PRT( "Update ", p->timeUpdate ); PRT( "TOTAL ", p->timeTotal ); - +/* printf( "The scores are:\n" ); for ( i = 0; i < 222; i++ ) if ( p->nScores[i] > 0 ) @@ -210,7 +210,7 @@ void Rwt_ManPrintStats( Rwt_Man_t * p ) Ivy_TruthDsdComputePrint( (unsigned)p->pMapInv[i] | ((unsigned)p->pMapInv[i] << 16) ); } printf( "\n" ); - +*/ } /**Function************************************************************* |