Fixing location of cadiback header

msoos · Apr 11, 2024 · 0d7abac · 0d7abac
1 parent fd5ae89
commit 0d7abac
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -46,6 +46,7 @@ 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/cadiback.h"
+#include "cadiback.h"
 
 using namespace CMSat;