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

---
 src/common.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/common.cpp b/src/common.cpp
index 5978935..d979979 100644
--- a/src/common.cpp
+++ b/src/common.cpp
@@ -23,7 +23,11 @@
  */
 
 #include "common.h"
+#ifdef CMS_LOCAL_BUILD
+#include "python/cryptominisat/src/solvertypesmini.h"
+#else
 #include "cryptominisat5/solvertypesmini.h"
+#endif
 #include "src/arjun.h"
 #include <limits>