From 810e4bbbb0bede7b0954ca9b1f23dc4bcb008b82 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Mon, 18 Jul 2016 19:22:13 +0200
Subject: [PATCH] Added call to GetMTBDD().

Former-commit-id: 6e19166ca4f3d3b714656e2ba361d766284fecff
---
 src/storage/dd/sylvan/InternalSylvanAdd.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/dd/sylvan/InternalSylvanAdd.cpp b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
index 55dd24c79..1ceb02b01 100644
--- a/src/storage/dd/sylvan/InternalSylvanAdd.cpp
+++ b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
@@ -607,7 +607,7 @@ namespace storm {
 			helperStruct.storm_rational_function = (void*)(&value);
 			uint64_t terminalValue = (uint64_t)&helperStruct;
 
-			return sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), terminalValue);
+			return sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), terminalValue).GetMTBDD();
 		}
         
         template<typename ValueType>