From 0e6db25188fbb02823f6c48a5621d2cd9339b79c Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Tue, 19 Jul 2016 10:38:03 +0200
Subject: [PATCH] fix in STORM_USE_CLN_NUMBERS

Former-commit-id: 5e11e5d4c5f663f2155a77728a8925acb3ddc154
---
 CMakeLists.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index ccaf5ed83..72215d7e3 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -360,9 +360,11 @@ include_directories(${CUDD_INCLUDE_DIR})
 
 find_package(CLN QUIET)
 
+
+set(STORM_USE_CLN_NUMBERS OFF)
 if(CLN_FOUND)
     set(STORM_HAVE_CLN ON)
-	set(STORM_USE_CLN_NUMBERS ON)
+	set(STORM_USE_CLN_NUMBERS OFF)
     message(STATUS "StoRM - Linking with CLN ${CLN_VERSION_STRING}")
     include_directories("${CLN_INCLUDE_DIR}")
     list(APPEND STORM_LINK_LIBRARIES ${CLN_LIBRARIES})