diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-28 23:53:17 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-28 23:53:17 -0700 |
commit | 135bf3ecdf6609d4c8e97727cb3c8ad8042a6b4c (patch) | |
tree | 125bcd8c87686becd6f492c775a37c2fe83f6d3d /src/sat/bsat/satSolver.h | |
parent | c556baa92eb9973b1d181177557cfb9025196a92 (diff) | |
download | abc-135bf3ecdf6609d4c8e97727cb3c8ad8042a6b4c.tar.gz abc-135bf3ecdf6609d4c8e97727cb3c8ad8042a6b4c.tar.bz2 abc-135bf3ecdf6609d4c8e97727cb3c8ad8042a6b4c.zip |
Compiler warnings.
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) { |