From 74ff01bfb54e9f0a68ac88b827521a422269a144 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 15 May 2008 08:01:00 -0700 Subject: Version abc80515 --- src/sat/bsat/satSolver.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/sat/bsat/satSolver.c') diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index 6d517b8e..0179796c 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -789,7 +789,7 @@ clause* sat_solver_propagate(sat_solver* s) return confl; } -static inline int clause_cmp (const void* x, const void* y) { +static int clause_cmp (const void* x, const void* y) { return clause_size((clause*)x) > 2 && (clause_size((clause*)y) == 2 || clause_activity((clause*)x) < clause_activity((clause*)y)) ? -1 : 1; } void sat_solver_reducedb(sat_solver* s) -- cgit v1.2.3