From 8c8e698cebf03fbed682ffad4f7aab686a05c171 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Mon, 23 Oct 2023 00:21:55 +0200
Subject: [PATCH] Removing unused function

---
 python/src/pycryptosat.cpp | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/python/src/pycryptosat.cpp b/python/src/pycryptosat.cpp
index 04a8e15a4..a76dfd297 100644
--- 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);