Fixing python build

meelgroup · Jul 14, 2024 · 784cdbf · 784cdbf
1 parent 6ad3237
commit 784cdbf
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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"