From d602d2660d93b580c45e26ed59a7b7f6810f5c02 Mon Sep 17 00:00:00 2001
From: JK <klein@tcs.inf.tu-dresden.de>
Date: Mon, 13 Feb 2017 15:58:04 +0100
Subject: [PATCH] utility/constants.cpp: switch to carl::parse from
 carl::rationalize

carl::parse supports more syntax variants for specifying rational numbers, e.g., 1.23e-10 (scientific notation), 1/24 (fractions), ...
---
 src/storm/utility/constants.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<RationalNumber>(number);
+            return carl::parse<RationalNumber>(number);
         }
 
         template<>