From c02904b1a85ae3ab54f207607097758582abaf22 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Fri, 22 Sep 2023 00:18:35 +0200
Subject: [PATCH] Fixing pycryptominisat build

---
 CMakeLists.txt             | 2 +-
 pyproject.toml             | 2 +-
 python/src/pycryptosat.cpp | 2 --
 3 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 017dfb3e4..15abb34ab 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -452,7 +452,7 @@ else()
   set(GIT_SHA "GIT-hash-notfound")
 endif()
 
-set(CMS_FULL_VERSION "5.11.13")
+set(CMS_FULL_VERSION "5.11.14")
 
 string(REPLACE "." ";" CMS_FULL_VERSION_LIST ${CMS_FULL_VERSION})
 SetVersionNumber("PROJECT" ${CMS_FULL_VERSION_LIST})
diff --git a/pyproject.toml b/pyproject.toml
index 1199ff663..19ff4131c 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "pycryptosat"
-version = "5.11.13"
+version = "5.11.14"
 description = "Bindings to CryptoMiniSat, an advanced SAT solver"
 keywords = ["sat", "cryptography"]
 license = { file = "LICENSE.txt" }
diff --git a/python/src/pycryptosat.cpp b/python/src/pycryptosat.cpp
index 6719b1081..3dd2b7347 100644
--- a/python/src/pycryptosat.cpp
+++ b/python/src/pycryptosat.cpp
@@ -686,8 +686,6 @@ static PyObject* solve(Solver *self, PyObject *args, PyObject *kwds)
     lbool res;
     Py_BEGIN_ALLOW_THREADS      /* release GIL */
     res = self->cmsat->solve(&assumption_lits);
-    signal(SIGINT, old_sig_int_handler);
-    signal(SIGTERM, old_sig_term_handler);
     Py_END_ALLOW_THREADS
 
     self->cmsat->set_verbosity(self->verbose);