Get rid of unused variable compiler warning

cjdrake · Jan 17, 2015 · ef6ceb8 · ef6ceb8
1 parent da74488
commit ef6ceb8
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/pyeda/boolalg/picosatmodule.c b/pyeda/boolalg/picosatmodule.c
@@ -133,12 +133,9 @@ _add_clauses(PicoSAT *picosat, PyObject *clauses)
 static int
 _add_assumptions(PicoSAT *picosat, PyObject *assumptions)
 {
-    int nvars;
     PyObject *pylits, *pylit;
     int lit;
 
-    nvars = picosat_variables(picosat);
-
     pylits = PyObject_GetIter(assumptions);
     if (pylits == NULL)
         goto error;