diff --git a/CMakeLists.txt b/CMakeLists.txt
index a0e325669..b81c8e437 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -433,18 +433,6 @@ endif()
 ##	CUDD
 ##
 #############################################################
-add_subdirectory("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0")
-include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/cudd")
-include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/epd")
-include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/mtr")
-include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/nanotrav")
-include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/obj")
-include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/st")
-include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/util")
-list(APPEND STORM_LINK_LIBRARIES cudd)
-
-
-
 
 
 #############################################################