diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-17 13:22:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-17 13:22:16 -0700 |
| commit | ca39b892f0c035f571e5ac62e08a3d1166697ac7 (patch) | |
| tree | 55ee1a836d9f48ca83cb58edac33a5207d78ebec /src/sat/bsat | |
| parent | 7d3976a76353b4a89588925285e80ea33efa0797 (diff) | |
| download | abc-ca39b892f0c035f571e5ac62e08a3d1166697ac7.tar.gz abc-ca39b892f0c035f571e5ac62e08a3d1166697ac7.tar.bz2 abc-ca39b892f0c035f571e5ac62e08a3d1166697ac7.zip | |
Compiler warning about unused variable.
Diffstat (limited to 'src/sat/bsat')
| -rw-r--r-- | src/sat/bsat/satSolver.c | 4 |
1 files changed, 2 insertions, 2 deletions
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) ) |