diff --git a/resources/3rdparty/sylvan/src/sylvan_obj.cpp b/resources/3rdparty/sylvan/src/sylvan_obj.cpp
index 068c9a57f..b7b4484fb 100644
--- a/resources/3rdparty/sylvan/src/sylvan_obj.cpp
+++ b/resources/3rdparty/sylvan/src/sylvan_obj.cpp
@@ -609,9 +609,9 @@ Mtbdd::doubleTerminal(double value)
 Mtbdd
 Mtbdd::stormRationalFunctionTerminal(storm::RationalFunction const& value)
 {
-	storm_rational_function_t functionStruct;
+	storm_rational_function_ptr_struct functionStruct;
 	functionStruct.storm_rational_function = (void*)(&value);
-    return mtbdd_storm_rational_function(functionStruct);
+    return mtbdd_storm_rational_function(&functionStruct);
 }
 #endif
 
diff --git a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c
index 2991f322c..80aa72334 100644
--- a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c
+++ b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c
@@ -90,7 +90,7 @@ uint32_t sylvan_storm_rational_function_get_type() {
 MTBDD
 mtbdd_storm_rational_function(storm_rational_function_t val)
 {
-	uint64_t terminalValue = (uint64_t)&val;
+	uint64_t terminalValue = (uint64_t)val;
 	return mtbdd_makeleaf(sylvan_storm_rational_function_type, terminalValue);
 }
 
diff --git a/src/storage/dd/sylvan/InternalSylvanAdd.cpp b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
index 71975e7c3..51c072126 100644
--- a/src/storage/dd/sylvan/InternalSylvanAdd.cpp
+++ b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
@@ -618,7 +618,7 @@ namespace storm {
 			storm_rational_function_ptr_struct helperStruct;
 			helperStruct.storm_rational_function = (void*)(&value);
 
-			return mtbdd_storm_rational_function(helperStruct);
+			return mtbdd_storm_rational_function(&helperStruct);
 		}
         
         template<typename ValueType>