Fixing building with cadiback

msoos · Apr 11, 2024 · 3c87405 · 3c87405
1 parent f7abc42
commit 3c87405
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -46,7 +46,6 @@ add_sanitize_flags()
 
 include_directories(${CMAKE_CURRENT_BINARY_DIR})
 include_directories(${CMAKE_CURRENT_SOURCE_DIR})
-include_directories(${CMAKE_SOURCE_DIR}/../cadiback)
 
 if (ENABLE_TESTING)
     add_definitions( -DCMS_TESTING_ENABLED )

diff --git a/src/backbone.cpp b/src/backbone.cpp
@@ -21,7 +21,7 @@ THE SOFTWARE.
 ***********************************************/
 
 #include "solver.h"
-#include "cadiback.h"
+#include "../cadiback/cadiback.h"
 
 using namespace CMSat;