From f4867f337767c55ebe1e9cc047be61c2798618bf Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Jul 2012 00:20:31 -0700
Subject: Fixing time printouts in 'pdr'.

---
 src/proof/pdr/pdrInt.h | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

(limited to 'src/proof/pdr/pdrInt.h')

diff --git a/src/proof/pdr/pdrInt.h b/src/proof/pdr/pdrInt.h
index 0a90f9d1..075484bf 100644
--- a/src/proof/pdr/pdrInt.h
+++ b/src/proof/pdr/pdrInt.h
@@ -111,18 +111,18 @@ struct Pdr_Man_t_
     int         nQueMax;
     int         nQueLim;
     // runtime
-    int         timeStart;
-    int         timeToStop;
+    ABC_INT64_T timeStart;
+    ABC_INT64_T timeToStop;
     // time stats
-    int         tSat;
-    int         tSatSat;
-    int         tSatUnsat;
-    int         tGeneral;
-    int         tPush;
-    int         tTsim;
-    int         tContain;
-    int         tCnf;
-    int         tTotal;
+    ABC_INT64_T tSat;
+    ABC_INT64_T tSatSat;
+    ABC_INT64_T tSatUnsat;
+    ABC_INT64_T tGeneral;
+    ABC_INT64_T tPush;
+    ABC_INT64_T tTsim;
+    ABC_INT64_T tContain;
+    ABC_INT64_T tCnf;
+    ABC_INT64_T tTotal;
 };
 
 ////////////////////////////////////////////////////////////////////////
-- 
cgit v1.2.3