7 files changed, 12 insertions, 10 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h
index 69878111..0654c05b 100644
--- a/src/map/if/if.h
+++ b/src/map/if/if.h
@@ -30,7 +30,7 @@
 #include <stdlib.h>
 #include <string.h>
 #include <assert.h>
-#include <time.h>
+
 #include "src/misc/vec/vec.h"
 #include "src/misc/mem/mem.h"
 #include "src/misc/tim/tim.h"
@@ -223,7 +223,7 @@ struct If_Man_t_
     void **            pHashTable[2];    // hash table bins
     Mem_Fixed_t *      pMemEntries;      // memory manager for hash table entries
     // statistics 
-//    int                timeTruth;
+//    clock_t                timeTruth;
 };
 
 // priority cut
diff --git a/src/map/if/ifCore.c b/src/map/if/ifCore.c
index 9cdddccd..0ddfafd6 100644
--- a/src/map/if/ifCore.c
+++ b/src/map/if/ifCore.c
@@ -80,7 +80,7 @@ int If_ManPerformMapping( If_Man_t * p )
 int If_ManPerformMappingComb( If_Man_t * p )
 {
     If_Obj_t * pObj;
-    int clkTotal = clock();
+    clock_t clkTotal = clock();
     int i;
 
     // set arrival times and fanout estimates
diff --git a/src/map/if/ifCut.c b/src/map/if/ifCut.c
index 36aa935d..c1d770fd 100644
--- a/src/map/if/ifCut.c
+++ b/src/map/if/ifCut.c
@@ -1354,7 +1354,7 @@ int If_CutGetCones( If_Man_t * p )
 {
     If_Obj_t * pObj;
     int i, Counter = 0;
-    int clk = clock();
+    clock_t clk = clock();
     If_ManForEachObj( p, pObj, i )
     {
         if ( If_ObjIsAnd(pObj) && pObj->nRefs )
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c
index 570fb4ae..ea1d5f33 100644
--- a/src/map/if/ifMap.c
+++ b/src/map/if/ifMap.c
@@ -389,7 +389,8 @@ int If_ManPerformMappingRound( If_Man_t * p, int nCutsUsed, int Mode, int fPrepr
 {
 //    ProgressBar * pProgress;
     If_Obj_t * pObj;
-    int i, clk = clock();
+    int i;
+    clock_t clk = clock();
     float arrTime;
     assert( Mode >= 0 && Mode <= 2 );
     // set the sorting function
diff --git a/src/map/if/ifReduce.c b/src/map/if/ifReduce.c
index b45a9b25..65e321c0 100644
--- a/src/map/if/ifReduce.c
+++ b/src/map/if/ifReduce.c
@@ -51,7 +51,7 @@ static void If_ManImproveNodeFaninCompact( If_Man_t * p, If_Obj_t * pObj, int nL
 ***********************************************************************/
 void If_ManImproveMapping( If_Man_t * p )
 {
-    int clk;
+    clock_t clk;
 
     clk = clock();
     If_ManImproveExpand( p, p->pPars->nLutSize );
diff --git a/src/map/if/ifSeq.c b/src/map/if/ifSeq.c
index 6cfb5131..d34cf538 100644
--- a/src/map/if/ifSeq.c
+++ b/src/map/if/ifSeq.c
@@ -123,7 +123,8 @@ Vec_Ptr_t * If_ManCollectLatches( If_Man_t * p )
 int If_ManPerformMappingRoundSeq( If_Man_t * p, int nIter )
 {
     If_Obj_t * pObj;
-    int i, clk = clock();
+    int i;
+    clock_t clk = clock();
     int fVeryVerbose = 0;
     int fChange = 0;
 
@@ -337,7 +338,7 @@ void If_ManPerformMappingSeqPost( If_Man_t * p )
 ***********************************************************************/
 int If_ManPerformMappingSeq( If_Man_t * p )
 {
-    int clkTotal = clock();
+    clock_t clkTotal = clock();
     int PeriodBest;
 
     p->SortMode = 0;
diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c
index 5f7f8142..0b86093b 100644
--- a/src/map/if/ifTime.c
+++ b/src/map/if/ifTime.c
@@ -252,7 +252,7 @@ Vec_Wrd_t * If_CutDelaySopAnds( If_Man_t * p, If_Cut_t * pCut, Vec_Int_t * vCove
 ***********************************************************************/
 Vec_Wrd_t * If_CutDelaySopArray( If_Man_t * p, If_Cut_t * pCut )
 {
-    int clk;
+    clock_t clk;
     Vec_Wrd_t * vAnds;
     int RetValue;
     if ( p->vCover == NULL )
@@ -493,7 +493,7 @@ int If_CutDelaySopAnds2( If_Man_t * p, If_Cut_t * pCut, Vec_Int_t * vCover, int
 }
 int If_CutDelaySopArray2( If_Man_t * p, If_Cut_t * pCut, int * pArea )
 {
-    int clk;
+    clock_t clk;
     int RetValue;
     if ( p->vCover == NULL )
         p->vCover = Vec_IntAlloc(0);