diff options
Diffstat (limited to 'src/sat/bsat/satSolver.h')
| -rw-r--r-- | src/sat/bsat/satSolver.h | 4 |
1 files changed, 2 insertions, 2 deletions
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) { |