Fixing python build

meelgroup · Jul 14, 2024 · 643a9c9 · 643a9c9
1 parent 896407b
commit 643a9c9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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>