From ca39b892f0c035f571e5ac62e08a3d1166697ac7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 17 Sep 2013 13:22:16 -0700 Subject: Compiler warning about unused variable. --- src/sat/bsat/satSolver.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/sat') diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index a13ae040..922f1eb7 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -888,10 +888,10 @@ int sat_solver_propagate(sat_solver* s) //printf("sat_solver_propagate\n"); while (hConfl == 0 && s->qtail - s->qhead > 0){ - lit p = s->trail[s->qhead++]; - int v = lit_var(p); + lit p = s->trail[s->qhead++]; #ifdef TEST_CNF_LOAD + int v = lit_var(p); if ( s->pCnfFunc ) { if ( lit_sign(p) ) -- cgit v1.2.3