1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c
index a02ecc3f..80268a73 100644
--- a/src/sat/bsat/satSolver2.c
+++ b/src/sat/bsat/satSolver2.c
@@ -331,8 +331,8 @@ static inline void act_var_rescale(sat_solver2* s) {
     s->var_inc = Abc_MaxInt( s->var_inc, (1<<4) );
 }
 static inline void act_clause_rescale(sat_solver2* s) {
-    static int Total = 0;
-    int i, clk = clock();
+//    static int Total = 0;
+    int i;//, clk = clock();
     unsigned * claActs = (unsigned *)veci_begin(&s->claActs);
     for (i = 1; i < veci_size(&s->claActs); i++)
         claActs[i] >>= 14;