6 files changed, 8 insertions, 6 deletions
diff --git a/src/map/amap/amapCore.c b/src/map/amap/amapCore.c
index ce1f61bd..507dcc5e 100644
--- a/src/map/amap/amapCore.c
+++ b/src/map/amap/amapCore.c
@@ -72,7 +72,7 @@ Vec_Ptr_t * Amap_ManTest( Aig_Man_t * pAig, Amap_Par_t * pPars )
     Vec_Ptr_t * vRes;
     Amap_Man_t * p;
     Amap_Lib_t * pLib;
-    int clkTotal = clock();
+    clock_t clkTotal = clock();
     pLib = (Amap_Lib_t *)Abc_FrameReadLibGen2();
     if ( pLib == NULL )
     {
diff --git a/src/map/amap/amapLib.c b/src/map/amap/amapLib.c
index b11e3222..cf087218 100644
--- a/src/map/amap/amapLib.c
+++ b/src/map/amap/amapLib.c
@@ -328,7 +328,7 @@ void Amap_LibPrintSelectedGates( Amap_Lib_t * p, int fAllGates )
 Amap_Lib_t * Amap_LibReadAndPrepare( char * pFileName, int fVerbose, int fVeryVerbose )
 {
     Amap_Lib_t * p;
-    int clk = clock();
+    clock_t clk = clock();
     p = Amap_LibReadFile( pFileName, fVerbose );
     if ( fVerbose )
         printf( "Read %d gates from file \"%s\".\n", Vec_PtrSize(p->vGates), pFileName );
diff --git a/src/map/amap/amapLiberty.c b/src/map/amap/amapLiberty.c
index 49b36848..c1798f09 100644
--- a/src/map/amap/amapLiberty.c
+++ b/src/map/amap/amapLiberty.c
@@ -888,7 +888,7 @@ int Amap_LibertyParse( char * pFileName, char * pFileGenlib, int fVerbose )
 {
     Amap_Tree_t * p;
     char * pPos;
-    int clk = clock();
+    clock_t clk = clock();
     int RetValue;
     p = Amap_LibertyStart( pFileName );
     if ( p == NULL )
diff --git a/src/map/amap/amapMatch.c b/src/map/amap/amapMatch.c
index 4c213f9c..8903bf4e 100644
--- a/src/map/amap/amapMatch.c
+++ b/src/map/amap/amapMatch.c
@@ -484,7 +484,8 @@ void Amap_ManMatch( Amap_Man_t * p, int fFlow, int fRefs )
     Aig_MmFlex_t * pMemOld;
     Amap_Obj_t * pObj;
     float Area;
-    int i, nInvs, clk = clock();
+    int i, nInvs;
+    clock_t clk = clock();
     pMemOld = p->pMemCutBest;
     p->pMemCutBest = Aig_MmFlexStart();
     Amap_ManForEachNode( p, pObj, i )
diff --git a/src/map/amap/amapMerge.c b/src/map/amap/amapMerge.c
index 19470d63..85a1713c 100644
--- a/src/map/amap/amapMerge.c
+++ b/src/map/amap/amapMerge.c
@@ -514,7 +514,8 @@ void Amap_ManMergeNodeCuts( Amap_Man_t * p, Amap_Obj_t * pNode )
 void Amap_ManMerge( Amap_Man_t * p )
 {
     Amap_Obj_t * pObj;
-    int i, clk = clock();
+    int i;
+    clock_t clk = clock();
     p->pCutsPi = Amap_ManSetupPis( p );
     Amap_ManForEachNode( p, pObj, i )
         Amap_ManMergeNodeCuts( p, pObj );
diff --git a/src/map/amap/amapParse.c b/src/map/amap/amapParse.c
index 6fa469a9..2242fa7a 100644
--- a/src/map/amap/amapParse.c
+++ b/src/map/amap/amapParse.c
@@ -461,7 +461,7 @@ void Amap_LibParseTest( char * pFileName )
 {
     int fVerbose = 1;
     Amap_Lib_t * p;
-    int clk = clock();
+    clock_t clk = clock();
     p = Amap_LibReadFile( pFileName, fVerbose );
     if ( p == NULL )
         return;