diff --git a/src/storage/dd/sylvan/InternalSylvanAdd.cpp b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
index 693252db8..ff59c2e39 100644
--- a/src/storage/dd/sylvan/InternalSylvanAdd.cpp
+++ b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
@@ -605,7 +605,9 @@ namespace storm {
 		MTBDD InternalAdd<DdType::Sylvan, ValueType>::getLeaf(storm::RationalFunction const& value) {
 			storm_rational_function_ptr_struct helperStruct;
 			helperStruct.storm_rational_function = static_cast<void*>(&value);
-			return sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), helperStruct);
+			uint64_t terminalValue = (uint64_t)&helperStruct;
+
+			return sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), terminalValue);
 		}
         
         template<typename ValueType>
diff --git a/src/storage/dd/sylvan/InternalSylvanDdManager.cpp b/src/storage/dd/sylvan/InternalSylvanDdManager.cpp
index 93445387f..1d0642048 100644
--- a/src/storage/dd/sylvan/InternalSylvanDdManager.cpp
+++ b/src/storage/dd/sylvan/InternalSylvanDdManager.cpp
@@ -86,7 +86,9 @@ namespace storm {
 			storm::RationalFunction rationalFunction = storm::utility::one<storm::RationalFunction>();
 			storm_rational_function_ptr_struct helperStruct;
 			helperStruct.storm_rational_function = static_cast<void*>(&rationalFunction);
-			return InternalAdd<DdType::Sylvan, storm::RationalFunction>(this, sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), helperStruct));
+			uint64_t value = (uint64_t)&helperStruct;
+
+			return InternalAdd<DdType::Sylvan, storm::RationalFunction>(this, sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), value));
 		}
 #endif
         
@@ -110,7 +112,9 @@ namespace storm {
 			storm::RationalFunction rationalFunction = storm::utility::zero<storm::RationalFunction>();
 			storm_rational_function_ptr_struct helperStruct;
 			helperStruct.storm_rational_function = static_cast<void*>(&rationalFunction);
-			return InternalAdd<DdType::Sylvan, storm::RationalFunction>(this, sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), helperStruct));
+			uint64_t value = (uint64_t)&helperStruct;
+
+			return InternalAdd<DdType::Sylvan, storm::RationalFunction>(this, sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), value));
 		}
 #endif
         
@@ -130,7 +134,9 @@ namespace storm {
 			storm::RationalFunction rationalFunction = value;
 			storm_rational_function_ptr_struct helperStruct;
 			helperStruct.storm_rational_function = static_cast<void*>(&rationalFunction);
-			return InternalAdd<DdType::Sylvan, storm::RationalFunction>(this, sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), helperStruct));
+			uint64_t terminalValue = (uint64_t)&helperStruct;
+
+			return InternalAdd<DdType::Sylvan, storm::RationalFunction>(this, sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), terminalValue));
 		}
 #endif