From efaab9abe1dc365e1d2f53475c46b29b250c81eb Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Mon, 18 Jul 2016 11:13:13 +0200
Subject: [PATCH] potential fix for missing cln

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

diff --git a/src/adapters/CarlAdapter.h b/src/adapters/CarlAdapter.h
index b5a91248d..d757ae29a 100644
--- a/src/adapters/CarlAdapter.h
+++ b/src/adapters/CarlAdapter.h
@@ -44,12 +44,14 @@ namespace carl {
 
 }
 
+#ifdef STORM_HAVE_CLN
 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