From a46ab2f631ffea2622f2dbfe121efe255271878e Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 17 Feb 2016 19:48:07 +0100
Subject: [PATCH] use dynamic version of cudd

Former-commit-id: 5e3a12fdca064fee8b32e9bcbe4c97cd9bf3bb48
---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index e772cbf68..5f64ff378 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -438,7 +438,7 @@ endif()
 
 message("${CUDD3_INCLUDE_DIR}")
 include_directories(${CUDD3_INCLUDE_DIR})
-list(APPEND STORM_LINK_LIBRARIES ${CUDD3_STATIC_LIBRARIES})
+list(APPEND STORM_LINK_LIBRARIES ${CUDD3_SHARED_LIBRARIES})
 
 #############################################################
 ##