From 135bf3ecdf6609d4c8e97727cb3c8ad8042a6b4c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 28 Oct 2014 23:53:17 -0700
Subject: Compiler warnings.

---
 src/sat/bsat/satSolver.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/sat/bsat')

diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h
index ccb7d6c4..c82879de 100644
--- a/src/sat/bsat/satSolver.h
+++ b/src/sat/bsat/satSolver.h
@@ -211,8 +211,8 @@ static void sat_solver_act_var_clear(sat_solver* s)
 {
     int i;
     for (i = 0; i < s->size; i++)
-        s->activity[i] = 0.0;
-    s->var_inc = 1.0;
+        s->activity[i] = 0;
+    s->var_inc = 1;
 }
 static void sat_solver_compress(sat_solver* s) 
 {
-- 
cgit v1.2.3