From 542fcb8e8c6416dede18a5624a03a617494e1a5a Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Mon, 18 Jul 2016 18:50:16 +0200
Subject: [PATCH] More fixes.

Former-commit-id: 4f62760e4b68ebe57337fca2886657718f28890b
---
 src/storage/dd/sylvan/InternalSylvanAdd.cpp |  6 ------
 src/storage/dd/sylvan/InternalSylvanAdd.h   | 10 +++++++++-
 2 files changed, 9 insertions(+), 7 deletions(-)

diff --git a/src/storage/dd/sylvan/InternalSylvanAdd.cpp b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
index fe8eafec4..693252db8 100644
--- a/src/storage/dd/sylvan/InternalSylvanAdd.cpp
+++ b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
@@ -10,12 +10,6 @@
 #include "src/utility/constants.h"
 #include "src/exceptions/NotImplementedException.h"
 
-#include "storm-config.h"
-// TODO: Remove this later on.
-#ifndef STORM_HAVE_CARL
-#define STORM_HAVE_CARL 1
-#endif
-
 namespace storm {
     namespace dd {
         template<typename ValueType>
diff --git a/src/storage/dd/sylvan/InternalSylvanAdd.h b/src/storage/dd/sylvan/InternalSylvanAdd.h
index 4c4859332..e070faa7a 100644
--- a/src/storage/dd/sylvan/InternalSylvanAdd.h
+++ b/src/storage/dd/sylvan/InternalSylvanAdd.h
@@ -15,6 +15,12 @@
 
 #include "src/adapters/CarlAdapter.h"
 
+#include "storm-config.h"
+// TODO: Remove this later on.
+#ifndef STORM_HAVE_CARL
+#define STORM_HAVE_CARL 1
+#endif
+
 namespace storm {
     namespace storage {
         template<typename T>
@@ -658,12 +664,14 @@ namespace storm {
              */
             static MTBDD getLeaf(uint_fast64_t value);
 
+#ifdef STORM_HAVE_CARL
 			/*!
 			* Retrieves the sylvan representation of the given storm::RatíonalFunction value.
 			*
 			* @return The sylvan node for the given value.
 			*/
 			static MTBDD getLeaf(storm::RationalFunction const& value);
+#endif
             
             /*!
              * Retrieves the value of the given node (that must be a leaf).
@@ -688,4 +696,4 @@ namespace storm {
     }
 }
 
-#endif /* STORM_STORAGE_DD_SYLVAN_INTERNALSYLVANADD_H_ */
\ No newline at end of file
+#endif /* STORM_STORAGE_DD_SYLVAN_INTERNALSYLVANADD_H_ */