From b623b4184e95b8421b3b68f3af3ab052eae25ad1 Mon Sep 17 00:00:00 2001
From: JK <klein@tcs.inf.tu-dresden.de>
Date: Thu, 9 Feb 2017 10:37:48 +0100
Subject: [PATCH] constants.cpp: convertNumber(int_fast64_t) to
 RationalFunction, fix signed/unsigned cast

---
 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 a6326d5e8..34a34ab04 100644
--- a/src/storm/utility/constants.cpp
+++ b/src/storm/utility/constants.cpp
@@ -397,7 +397,7 @@ namespace storm {
         template<>
         RationalFunction convertNumber(int_fast64_t const& number){
             STORM_LOG_ASSERT(static_cast<carl::sint>(number) == number, "Rationalizing failed, because the number is too large.");
-            return RationalFunction(carl::rationalize<RationalNumber>(static_cast<carl::uint>(number)));
+            return RationalFunction(carl::rationalize<RationalNumber>(static_cast<carl::sint>(number)));
         }
 
         template<>