Removing unused function

msoos · Oct 22, 2023 · 8c8e698 · 8c8e698
1 parent 3e47fd2
commit 8c8e698
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/python/src/pycryptosat.cpp b/python/src/pycryptosat.cpp
@@ -551,13 +551,6 @@ static PyObject* nb_vars(Solver *self)
 
 }
 
-/*
-static PyObject* nb_clauses(Solver *self)
-{
-    // Private attribute => need to make a public method
-    return PyInt_FromLong(self->cmsat->data->solvers.size());
-}*/
-
 static int parse_assumption_lits(PyObject* assumptions, SATSolver* cmsat, std::vector<Lit>& assumption_lits)
 {
     PyObject *iterator = PyObject_GetIter(assumptions);