From 6ad32377e7a3a90da494159c6a0f559e8fedf68f Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Sun, 14 Jul 2024 21:13:11 +0200
Subject: [PATCH] Fixing pytho build

---
 src/common.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/common.cpp b/src/common.cpp
index d979979..357e465 100644
--- a/src/common.cpp
+++ b/src/common.cpp
@@ -24,7 +24,7 @@
 
 #include "common.h"
 #ifdef CMS_LOCAL_BUILD
-#include "python/cryptominisat/src/solvertypesmini.h"
+#include "solvertypesmini.h"
 #else
 #include "cryptominisat5/solvertypesmini.h"
 #endif