From 9eee8895390d8b54de8e8d17d02e13d9c0648df9 Mon Sep 17 00:00:00 2001 From: PBerger Date: Wed, 3 Aug 2016 05:00:55 +0200 Subject: [PATCH] Added missing parameter to #ifdef - its gettings late. Former-commit-id: 4c2ab46ed55226bc70335dd7268f71619300575e --- resources/3rdparty/sylvan/src/storm_function_wrapper.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/resources/3rdparty/sylvan/src/storm_function_wrapper.cpp b/resources/3rdparty/sylvan/src/storm_function_wrapper.cpp index 79a2a48f6..6cd79305e 100644 --- a/resources/3rdparty/sylvan/src/storm_function_wrapper.cpp +++ b/resources/3rdparty/sylvan/src/storm_function_wrapper.cpp @@ -141,7 +141,7 @@ uint64_t storm_rational_function_hash(storm_rational_function_ptr const a, uint6 size_t hash = carl::hash_value(srf_a); -#ifdef +#ifdef DEBUG_STORM_FUNCTION_WRAPPER std::cout << "storm_rational_function_hash of value " << srf_a << " is " << hash << std::endl; #endif @@ -183,14 +183,12 @@ int storm_rational_function_is_zero(storm_rational_function_ptr a) { storm_rational_function_ptr storm_rational_function_get_zero() { static storm::RationalFunction zeroFunction(0); LOG_I("getZero") - //return new storm::RationalFunction(0); return (storm_rational_function_ptr)(&zeroFunction); } storm_rational_function_ptr storm_rational_function_get_one() { static storm::RationalFunction oneFunction(1); LOG_I("getOne") - //return new storm::RationalFunction(1); return (storm_rational_function_ptr)(&oneFunction); }