From 784cdbff12ed018b8b2d6337e93ae47616718e05 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Mon, 15 Jul 2024 00:51:55 +0200
Subject: [PATCH] Fixing python build

---
 src/puura.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/puura.cpp b/src/puura.cpp
index ba70a9c..6a896d1 100644
--- a/src/puura.cpp
+++ b/src/puura.cpp
@@ -22,7 +22,6 @@
  THE SOFTWARE.
  */
 
-#include "cryptominisat5/cryptominisat.h"
 #include <cstdint>
 #include <vector>
 #include <limits>
@@ -32,8 +31,10 @@
 
 #ifdef CMS_LOCAL_BUILD
 #include "sbva.h"
+#include "cryptominisat.h"
 #else
 #include <sbva/sbva.h>
+#include "cryptominisat5/cryptominisat.h"
 #endif
 #include "time_mem.h"
 #include "puura.h"