diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-05 21:59:43 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-05 21:59:43 -0800 |
| commit | 797aeee5d7f0ca5537ca2e53e3c9261ef165f68d (patch) | |
| tree | 6125c99e60f6cb6cc046c8b18896288e1b53c9e9 /src/aig/gia/giaPf.c | |
| parent | 3d238a962642314865d0cfde12fe012c51d8ac76 (diff) | |
| download | abc-797aeee5d7f0ca5537ca2e53e3c9261ef165f68d.tar.gz abc-797aeee5d7f0ca5537ca2e53e3c9261ef165f68d.tar.bz2 abc-797aeee5d7f0ca5537ca2e53e3c9261ef165f68d.zip | |
Updating canonical form computation procedures (compiler warnings).
Diffstat (limited to 'src/aig/gia/giaPf.c')
| -rw-r--r-- | src/aig/gia/giaPf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaPf.c b/src/aig/gia/giaPf.c index 703e3912..c453dc56 100644 --- a/src/aig/gia/giaPf.c +++ b/src/aig/gia/giaPf.c @@ -908,7 +908,7 @@ void Pf_ManPrintStats( Pf_Man_t * p, char * pTitle ) if ( !p->pPars->fVerbose ) return; printf( "%s : ", pTitle ); - printf( "Delay =%8.2f ", p->pPars->MapDelay ); + printf( "Delay =%8.2f ", (float)p->pPars->MapDelay ); printf( "Area =%12.2f ", p->pPars->MapArea ); printf( "Gate =%6d ", (int)p->pPars->Area ); printf( "Inv =%6d ", (int)p->nInvs ); |