From bbbfe0e822232591a2c6a064dcf9f594a96880ce Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 17 Jul 2013 14:22:49 -0700
Subject: New technology mapper.

---
 src/map/mpm/mpmMap.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/map')

diff --git a/src/map/mpm/mpmMap.c b/src/map/mpm/mpmMap.c
index c6ac0a07..0be0447e 100644
--- a/src/map/mpm/mpmMap.c
+++ b/src/map/mpm/mpmMap.c
@@ -814,7 +814,7 @@ void Mpm_ManPerformRound( Mpm_Man_t * p )
     if ( p->pPars->fVerbose )
     {
     printf( "Del =%5d.  Ar =%8d.  Edge =%8d.  Cut =%10d. Max =%8d.  Tru =%8d. Small =%6d. ", 
-        p->GloRequired, p->GloArea, p->GloEdge, 
+        p->GloRequired, (int)p->GloArea, (int)p->GloEdge, 
         p->nCutsMerged, p->pManCuts->nEntriesMax, 
         p->vTtMem ? p->vTtMem->nEntries : 0, p->nSmallSupp );
     Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
-- 
cgit v1.2.3