From 0ed499a47f06771f445122e67490dea0029c9e05 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Tue, 19 Jul 2016 10:49:12 +0200
Subject: [PATCH] use cln

Former-commit-id: f84ad5842f6f515dc53fee198fb3394a1ccaa6c6
---
 CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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