diff --git a/resources/3rdparty/sylvan/CMakeLists.txt b/resources/3rdparty/sylvan/CMakeLists.txt
index c44f5af89..558b0458d 100644
--- a/resources/3rdparty/sylvan/CMakeLists.txt
+++ b/resources/3rdparty/sylvan/CMakeLists.txt
@@ -48,7 +48,7 @@ set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake)
 find_package(GMP REQUIRED)
 include_directories(${GMP_INCLUDE_DIR})
 include_directories("${PROJECT_SOURCE_DIR}/../../../src")
-include_directories("${PROJECT_BINARY_DIR}/../include")
+include_directories("${PROJECT_BINARY_DIR}/../../../include")
 include_directories(src)
 
 include_directories(src)