Fixing time primtouts throughout the code.

4 files changed, 6 insertions, 6 deletions

diff --git a/src/bool/kit/cloud.c b/src/bool/kit/cloud.c
index 1ab53c00..ca2d81eb 100644
--- a/src/bool/kit/cloud.c
+++ b/src/bool/kit/cloud.c
@@ -71,7 +71,7 @@ CloudManager * Cloud_Init( int nVars, int nBits )
 {
     CloudManager * dd;
     int i;
-    int clk1, clk2;
+    clock_t clk1, clk2;
 
     assert( nVars <= 100000 );
     assert( nBits < 32 );
diff --git a/src/bool/kit/cloud.h b/src/bool/kit/cloud.h
index 208a47ec..e2d451ae 100644
--- a/src/bool/kit/cloud.h
+++ b/src/bool/kit/cloud.h
@@ -23,7 +23,6 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <assert.h>
-#include <time.h>
 
 #include "src/misc/util/abc_global.h"
 
diff --git a/src/bool/kit/kit.h b/src/bool/kit/kit.h
index 4ca75622..990fa54a 100644
--- a/src/bool/kit/kit.h
+++ b/src/bool/kit/kit.h
@@ -30,7 +30,6 @@
 #include <stdlib.h>
 #include <string.h>
 #include <assert.h>
-#include <time.h>
 
 #include "src/misc/vec/vec.h"
 #include "src/misc/extra/extraBdd.h"
diff --git a/src/bool/kit/kitPerm.c b/src/bool/kit/kitPerm.c
index d3e9ff5a..9d6f9373 100644
--- a/src/bool/kit/kitPerm.c
+++ b/src/bool/kit/kitPerm.c
@@ -22,7 +22,8 @@
 #include <stdlib.h>
 #include <string.h>
 #include <assert.h>
-#include <time.h>
+
+#include "kit.h"
 
 #define inline __inline // compatible with MS VS 6.0
 
@@ -260,7 +261,7 @@ word Tf ( word f, int n)
 }
 
 
-#define ABC_PRT(a,t)    (printf("%s = ", (a)), printf("%7.2f sec\n", (float)(t)/(float)(CLOCKS_PER_SEC)))
+//#define ABC_PRT(a,t)    (printf("%s = ", (a)), printf("%7.2f sec\n", (float)(t)/(float)(CLOCKS_PER_SEC)))
 #define NFUNCS (1<<20)
 
 /**Function*************************************************************
@@ -278,7 +279,8 @@ void Kit_PermComputeTest()
 {
     word * T = (word *)malloc( 8 * NFUNCS );
     word i, o, w = 0;
-    int k, b, clk;
+    int k, b;
+    clock_t clk;
 
     srand( 0 );