diff --git a/src/storm/utility/constants.cpp b/src/storm/utility/constants.cpp index 34a34ab04..f2d2b98a8 100644 --- a/src/storm/utility/constants.cpp +++ b/src/storm/utility/constants.cpp @@ -402,7 +402,7 @@ namespace storm { template<> RationalNumber convertNumber(std::string const& number) { - return carl::rationalize(number); + return carl::parse(number); } template<>