From 81e12ada930205f55c10883f9783e2a165a1d05b Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 17 Feb 2016 20:56:27 +0100
Subject: [PATCH] fix path for cudd3 lib

Former-commit-id: c8fffd90778f84ce7a3785bac0025e383aa2ac66
---
 resources/3rdparty/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index 1c8f0b91a..049b2a4ac 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -49,7 +49,7 @@ ExternalProject_Get_Property(cudd3 binary_dir)
 set(CUDD3_INCLUDE_DIR ${CMAKE_CURRENT_BINARY_DIR}/cudd-3.0.0/include PARENT_SCOPE)
 
 set(CUDD3_SHARED_LIBRARIES ${CMAKE_CURRENT_BINARY_DIR}/cudd-3.0.0/libcudd${DYNAMIC_EXT} PARENT_SCOPE)
-set(CUDD3_STATIC_LIBRARIES${CMAKE_CURRENT_BINARY_DIR}/cudd-3.0.0/libcudd${STATIC_EXT} PARENT_SCOPE)
+set(CUDD3_STATIC_LIBRARIES ${CMAKE_CURRENT_BINARY_DIR}/cudd-3.0.0/libcudd${STATIC_EXT} PARENT_SCOPE)
 
 ExternalProject_Add(
         googletest