diff options
Diffstat (limited to 'src/misc/extra/extraUtilUtil.c')
| -rw-r--r-- | src/misc/extra/extraUtilUtil.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/misc/extra/extraUtilUtil.c b/src/misc/extra/extraUtilUtil.c index 7f19480c..253d9e3c 100644 --- a/src/misc/extra/extraUtilUtil.c +++ b/src/misc/extra/extraUtilUtil.c @@ -347,9 +347,9 @@ void (*Extra_UtilMMoutOfMemory)( long size ) = (void (*)( long size ))Extra_Util SeeAlso [] ***********************************************************************/ -clock_t Extra_CpuTime() +abctime Extra_CpuTime() { - return clock(); + return Abc_Clock(); } /**Function************************************************************* @@ -366,7 +366,7 @@ clock_t Extra_CpuTime() #if defined(NT) || defined(NT64) || defined(WIN32) double Extra_CpuTimeDouble() { - return 1.0*clock()/CLOCKS_PER_SEC; + return 1.0*Abc_Clock()/CLOCKS_PER_SEC; } #else |