luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Compiler warning about unused variable.

This commit is contained in:
Alan Mishchenko 2013-09-17 13:22:16 -07:00
parent 7d3976a763
commit ca39b892f0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/sat/bsat/satSolver.c
View File

@ -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) )