diff options
Diffstat (limited to 'src/map/amap/amapGraph.c')
| -rw-r--r-- | src/map/amap/amapGraph.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/amap/amapGraph.c b/src/map/amap/amapGraph.c index 36a3c851..2438425b 100644 --- a/src/map/amap/amapGraph.c +++ b/src/map/amap/amapGraph.c @@ -335,7 +335,7 @@ void Amap_ManCreate( Amap_Man_t * p, Aig_Man_t * pAig ) if ( p->pPars->fVerbose ) { if ( 1.0 * Aig_ManObjNum(pAig) * sizeof(Amap_Obj_t) / (1<<30) > 0.1 ) - printf( "Warning: Mapper allocates %.3f Gb for subject graph with %d objects.\n", + printf( "Warning: Mapper allocates %.3f GB for subject graph with %d objects.\n", 1.0 * Aig_ManObjNum(pAig) * sizeof(Amap_Obj_t) / (1<<30), Aig_ManObjNum(pAig) ); } // create PIs and remember them in the old nodes |