1 files changed, 7 insertions, 7 deletions
diff --git a/src/opt/sfm/sfmInt.h b/src/opt/sfm/sfmInt.h
index 8b0072f1..d918077c 100644
--- a/src/opt/sfm/sfmInt.h
+++ b/src/opt/sfm/sfmInt.h
@@ -112,13 +112,13 @@ struct Sfm_Ntk_t_
     int               nTimeOuts;
     int               nMaxDivs;
     // runtime
-    clock_t           timeWin;
-    clock_t           timeDiv;
-    clock_t           timeCnf;
-    clock_t           timeSat;
-    clock_t           timeOther;
-    clock_t           timeTotal;
-//    clock_t           time1;
+    abctime           timeWin;
+    abctime           timeDiv;
+    abctime           timeCnf;
+    abctime           timeSat;
+    abctime           timeOther;
+    abctime           timeTotal;
+//    abctime           time1;
 };
 
 static inline int  Sfm_NtkPiNum( Sfm_Ntk_t * p )                        { return p->nPis;                                   }