From 912ad98cbb12ba3775bcd72391d7c66e890554b5 Mon Sep 17 00:00:00 2001 From: PBerger Date: Mon, 18 Jul 2016 19:18:02 +0200 Subject: [PATCH] Copy&Paste fixed. Former-commit-id: 745ec5503738b6d3729d5d42fd4bc939125ab466 --- 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 ff59c2e39..730038763 100644 --- a/src/storage/dd/sylvan/InternalSylvanAdd.cpp +++ b/src/storage/dd/sylvan/InternalSylvanAdd.cpp @@ -627,7 +627,7 @@ namespace storm { #ifdef STORM_HAVE_CARL else if (std::is_same::value) { STORM_LOG_ASSERT(mtbdd_gettype(node) == sylvan_storm_rational_function_get_type(), "Expected a storm::RationalFunction value."); - uint64_t value = mtbdd_getvalue(leaf); + uint64_t value = mtbdd_getvalue(node); storm_rational_function_ptr_struct* helperStructPtr = (storm_rational_function_ptr_struct*) value; storm::RationalFunction* rationalFunction = (storm::RationalFunction*)(helperStructPtr->storm_rational_function);