diff options
Diffstat (limited to 'src/map/amap/amapCore.c')
| -rw-r--r-- | src/map/amap/amapCore.c | 2 |
1 files changed, 1 insertions, 1 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 ) { |