From 6d11d2e80f045a0d74690de16f797276493a2d0a Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Thu, 11 Apr 2024 19:14:53 -0400
Subject: [PATCH] This is not needed

---
 src/cryptominisat.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/cryptominisat.cpp b/src/cryptominisat.cpp
index 74e566ce8..ead37897b 100644
--- a/src/cryptominisat.cpp
+++ b/src/cryptominisat.cpp
@@ -20,7 +20,6 @@ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 THE SOFTWARE.
 ***********************************************/
 
-#include "build/include/cryptominisat5/cryptominisat_c.h"
 #include "constants.h"
 #include "cryptominisat.h"
 #include "cryptominisat_c.h"