1 files changed, 3 insertions, 3 deletions
diff --git a/src/sat/cnf/cnf.h b/src/sat/cnf/cnf.h
index 61fa7f14..e5079a46 100644
--- a/src/sat/cnf/cnf.h
+++ b/src/sat/cnf/cnf.h
@@ -87,9 +87,9 @@ struct Cnf_Man_t_
     int             nMergeLimit;     // the limit on the size of merged cut
     unsigned *      pTruths[4];      // temporary truth tables
     Vec_Int_t *     vMemory;         // memory for intermediate ISOP representation
-    clock_t         timeCuts; 
-    clock_t         timeMap;
-    clock_t         timeSave;
+    abctime         timeCuts; 
+    abctime         timeMap;
+    abctime         timeSave;
 };