diff --git a/src/storm/utility/constants.cpp b/src/storm/utility/constants.cpp index 7e0e5309c..35d79c13f 100644 --- a/src/storm/utility/constants.cpp +++ b/src/storm/utility/constants.cpp @@ -99,7 +99,7 @@ namespace storm { template<> storm::storage::sparse::state_type convertNumber(long long const& number){ - return static_cast(number); + return static_cast(number); } template