From ea98a2497e3e3df73ebfd27d3974d2de0e3c1bf8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Jul 2012 18:41:02 -0700
Subject: Fixing time primtouts throughout the code.

---
 src/proof/llb/llb3Nonlin.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof')

diff --git a/src/proof/llb/llb3Nonlin.c b/src/proof/llb/llb3Nonlin.c
index 48724136..8badc61d 100644
--- a/src/proof/llb/llb3Nonlin.c
+++ b/src/proof/llb/llb3Nonlin.c
@@ -65,7 +65,7 @@ struct Llb_Mnn_t_
 
 };
 
-extern int timeBuild, timeAndEx, timeOther;
+extern clock_t timeBuild, timeAndEx, timeOther;
 extern int nSuppMax;
 
 ////////////////////////////////////////////////////////////////////////
-- 
cgit v1.2.3