More fixes.

Former-commit-id: 4f62760e4b

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>

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_ */
+#endif /* STORM_STORAGE_DD_SYLVAN_INTERNALSYLVANADD_H_ */