diff options
Diffstat (limited to 'src/map/if/ifSeq.c')
-rw-r--r-- | src/map/if/ifSeq.c | 5 |
1 files changed, 3 insertions, 2 deletions
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; |