From 358fe02b111b1f943d7f51c5d6371aeb704b2a44 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Fri, 27 May 2016 23:21:06 +0200
Subject: [PATCH] fix for the case where carl is available but cln isn't

Former-commit-id: 3f27a193b14e3bfe6163261803af34c248dce384
---
 src/adapters/CarlAdapter.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/adapters/CarlAdapter.h b/src/adapters/CarlAdapter.h
index 5b7225a15..c1a3f5918 100644
--- a/src/adapters/CarlAdapter.h
+++ b/src/adapters/CarlAdapter.h
@@ -44,12 +44,14 @@ namespace carl {
 
 }
 
+#if defined STORM_HAVE_CLN && defined USE_CLN_NUMBERS
 namespace cln {
     inline size_t hash_value(cl_RA const& n) {
         std::hash<cln::cl_RA> h;
         return h(n);
     }
 }
+#endif
 
 namespace storm {
 #if defined STORM_HAVE_CLN && defined USE_CLN_NUMBERS