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})
 
 #############################################################
 ##