From 1ce5068694af257e75fff3528e22483bc6cfcaa6 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 20 Dec 2016 14:04:46 +0100
Subject: [PATCH] fixed include dir in sylvan

---
 resources/3rdparty/sylvan/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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