From b0ccd7a22fd3e579eb58245271fc75d50b5a9cf5 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 10 Jan 2017 15:29:17 +0100
Subject: [PATCH] removed double entry of include_directory in sylvan cmake

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

diff --git a/resources/3rdparty/sylvan/CMakeLists.txt b/resources/3rdparty/sylvan/CMakeLists.txt
index 558b0458d..f2a589603 100644
--- a/resources/3rdparty/sylvan/CMakeLists.txt
+++ b/resources/3rdparty/sylvan/CMakeLists.txt
@@ -51,7 +51,6 @@ include_directories("${PROJECT_SOURCE_DIR}/../../../src")
 include_directories("${PROJECT_BINARY_DIR}/../../../include")
 include_directories(src)
 
-include_directories(src)
 
 add_subdirectory(src)