From 3aab7245738a69f1dd4d898493d5dabf6596ea61 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Jul 2012 17:46:54 -0700
Subject: Fixing time primtouts throughout the code.

---
 src/bool/kit/cloud.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/bool/kit/cloud.c')

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 );
-- 
cgit v1.2.3