From 4cb70c8093d525b955f72ef261748d3e04d4b615 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Mon, 18 Jul 2016 19:19:34 +0200
Subject: [PATCH] Fall back on C-style casts.

Former-commit-id: 80df36b395cdb12549795d23d18fdc76a00fe35c
---
 src/storage/dd/sylvan/InternalSylvanAdd.cpp       | 2 +-
 src/storage/dd/sylvan/InternalSylvanDdManager.cpp | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/storage/dd/sylvan/InternalSylvanAdd.cpp b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
index 730038763..55dd24c79 100644
--- a/src/storage/dd/sylvan/InternalSylvanAdd.cpp
+++ b/src/storage/dd/sylvan/InternalSylvanAdd.cpp
@@ -604,7 +604,7 @@ namespace storm {
 		template<typename ValueType>
 		MTBDD InternalAdd<DdType::Sylvan, ValueType>::getLeaf(storm::RationalFunction const& value) {
 			storm_rational_function_ptr_struct helperStruct;
-			helperStruct.storm_rational_function = static_cast<void*>(&value);
+			helperStruct.storm_rational_function = (void*)(&value);
 			uint64_t terminalValue = (uint64_t)&helperStruct;
 
 			return sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), terminalValue);
diff --git a/src/storage/dd/sylvan/InternalSylvanDdManager.cpp b/src/storage/dd/sylvan/InternalSylvanDdManager.cpp
index 1d0642048..c10235ca8 100644
--- a/src/storage/dd/sylvan/InternalSylvanDdManager.cpp
+++ b/src/storage/dd/sylvan/InternalSylvanDdManager.cpp
@@ -85,7 +85,7 @@ namespace storm {
 		InternalAdd<DdType::Sylvan, storm::RationalFunction> InternalDdManager<DdType::Sylvan>::getAddOne() const {
 			storm::RationalFunction rationalFunction = storm::utility::one<storm::RationalFunction>();
 			storm_rational_function_ptr_struct helperStruct;
-			helperStruct.storm_rational_function = static_cast<void*>(&rationalFunction);
+			helperStruct.storm_rational_function = (void*)(&rationalFunction);
 			uint64_t value = (uint64_t)&helperStruct;
 
 			return InternalAdd<DdType::Sylvan, storm::RationalFunction>(this, sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), value));
@@ -111,7 +111,7 @@ namespace storm {
 		InternalAdd<DdType::Sylvan, storm::RationalFunction> InternalDdManager<DdType::Sylvan>::getAddZero() const {
 			storm::RationalFunction rationalFunction = storm::utility::zero<storm::RationalFunction>();
 			storm_rational_function_ptr_struct helperStruct;
-			helperStruct.storm_rational_function = static_cast<void*>(&rationalFunction);
+			helperStruct.storm_rational_function = (void*)(&rationalFunction);
 			uint64_t value = (uint64_t)&helperStruct;
 
 			return InternalAdd<DdType::Sylvan, storm::RationalFunction>(this, sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), value));
@@ -133,7 +133,7 @@ namespace storm {
 		InternalAdd<DdType::Sylvan, storm::RationalFunction> InternalDdManager<DdType::Sylvan>::getConstant(storm::RationalFunction const& value) const {
 			storm::RationalFunction rationalFunction = value;
 			storm_rational_function_ptr_struct helperStruct;
-			helperStruct.storm_rational_function = static_cast<void*>(&rationalFunction);
+			helperStruct.storm_rational_function = (void*)(&rationalFunction);
 			uint64_t terminalValue = (uint64_t)&helperStruct;
 
 			return InternalAdd<DdType::Sylvan, storm::RationalFunction>(this, sylvan::Mtbdd::terminal(sylvan_storm_rational_function_get_type(), terminalValue));