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/aig/saig/saigSynch.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/aig/saig/saigSynch.c')

diff --git a/src/aig/saig/saigSynch.c b/src/aig/saig/saigSynch.c
index c592d0a5..28c8150f 100644
--- a/src/aig/saig/saigSynch.c
+++ b/src/aig/saig/saigSynch.c
@@ -504,7 +504,8 @@ Aig_Man_t * Saig_SynchSequenceApply( Aig_Man_t * pAig, int nWords, int fVerbose
     Aig_Man_t * pAigZero;
     Vec_Str_t * vSequence;
     Vec_Ptr_t * vSimInfo;
-    int RetValue, clk;
+    int RetValue;
+    clock_t clk;
 
 clk = clock();
     // derive synchronization sequence
@@ -557,7 +558,8 @@ Aig_Man_t * Saig_Synchronize( Aig_Man_t * pAig1, Aig_Man_t * pAig2, int nWords,
     Aig_Man_t * pAig1z, * pAig2z, * pMiter;
     Vec_Str_t * vSeq1, * vSeq2;
     Vec_Ptr_t * vSimInfo;
-    int RetValue, clk;
+    int RetValue;
+    clock_t clk;
 /*
     {
         unsigned u = Saig_SynchRandomTernary();
-- 
cgit v1.2.3