diff options
Diffstat (limited to 'src/misc/extra/extraUtilMisc.c')
| -rw-r--r-- | src/misc/extra/extraUtilMisc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/extra/extraUtilMisc.c b/src/misc/extra/extraUtilMisc.c index 3498abf7..51bd887e 100644 --- a/src/misc/extra/extraUtilMisc.c +++ b/src/misc/extra/extraUtilMisc.c @@ -2480,7 +2480,7 @@ void Extra_NpnTest() // int nFuncs = 5687661; // int nFuncs = 400777; int nFuncs = 10; - clock_t clk = clock(); + abctime clk = Abc_Clock(); word * pFuncs; int * pComp, * pPerm; int i;//, k, nUnique = 0; @@ -2528,7 +2528,7 @@ void Extra_NpnTest() ABC_FREE( pPerm ); ABC_FREE( pComp ); ABC_FREE( pFuncs ); - Abc_PrintTime( 1, "Time", clock() - clk ); + Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); } |