diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/opt/dau/dauNpn2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dauNpn2.c b/src/opt/dau/dauNpn2.c index e2cb97dc..bca65ad0 100644 --- a/src/opt/dau/dauNpn2.c +++ b/src/opt/dau/dauNpn2.c @@ -417,7 +417,7 @@ void Dtt_PrintMulti( Dtt_Man_t * p ) break; printf( "n=%2d : ", n ); printf( "All = %7d ", Count ); - printf( "Ave = %3d ", Total/Count ); + printf( "Ave = %6.2f ", 1.0*Total/Count ); for ( i = 0; i < 11; i++ ) if ( Counts[n][i] ) printf( "%6d", Counts[n][i] ); |