From 6ced56a0cc4a2d8a775a7a1eed6473f4427216ad Mon Sep 17 00:00:00 2001 From: PBerger Date: Wed, 27 Jul 2016 16:29:41 +0200 Subject: [PATCH] More ptr fixes. Former-commit-id: f1f01a0eec1569fa8d69ec17702ebd0d02738551 --- .../3rdparty/sylvan/src/sylvan_storm_rational_function.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c index 80aa72334..43fb85d7c 100644 --- a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c +++ b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c @@ -100,10 +100,10 @@ mtbdd_storm_rational_function(storm_rational_function_t val) TASK_IMPL_2(MTBDD, mtbdd_op_bool_to_storm_rational_function, MTBDD, a, size_t, v) { if (a == mtbdd_false) { - return mtbdd_storm_rational_function(*storm_rational_function_get_zero()); + return mtbdd_storm_rational_function(storm_rational_function_get_zero()); } if (a == mtbdd_true) { - return mtbdd_storm_rational_function(*storm_rational_function_get_one()); + return mtbdd_storm_rational_function(storm_rational_function_get_one()); } // Ugly hack to get rid of the error "unused variable v" (because there is no version of uapply without a parameter).