Fixing pytho build

meelgroup · Jul 14, 2024 · 6ad3237 · 6ad3237
1 parent 643a9c9
commit 6ad3237
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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