Adding a wrapper around clock() for more accurate time counting in ABC.

1 files changed, 6 insertions, 6 deletions

diff --git a/src/map/scl/sclMan.h b/src/map/scl/sclMan.h
index ebd14d6f..15afb6de 100644
--- a/src/map/scl/sclMan.h
+++ b/src/map/scl/sclMan.h
@@ -80,11 +80,11 @@ struct SC_Man_
     float          MaxDelay0;     // max delay at the begining
     float          BestDelay;     // best delay in the middle
     // runtime statistics
-    clock_t        timeTotal;     // starting/total time
-    clock_t        timeCone;      // critical path selection 
-    clock_t        timeSize;      // incremental sizing
-    clock_t        timeTime;      // timing update
-    clock_t        timeOther;     // everything else
+    abctime        timeTotal;     // starting/total time
+    abctime        timeCone;      // critical path selection 
+    abctime        timeSize;      // incremental sizing
+    abctime        timeTime;      // timing update
+    abctime        timeOther;     // everything else
 };
 
 ////////////////////////////////////////////////////////////////////////
@@ -340,7 +340,7 @@ static inline SC_Cell * Abc_SclObjResiable( SC_Man * p, Abc_Obj_t * pObj, int fU
   SeeAlso     []
 
 ***********************************************************************/
-static inline void Abc_SclDumpStats( SC_Man * p, char * pFileName, clock_t Time )
+static inline void Abc_SclDumpStats( SC_Man * p, char * pFileName, abctime Time )
 {
     FILE * pTable;
     pTable = fopen( pFileName, "a+" );