use of intermediate value to make conversion work with gmp

8 years ago · 4e1855a440
1 changed files with 5 additions and 4 deletions
--- a/src/storm/utility/constants.cpp
+++ b/src/storm/utility/constants.cpp
@ -531,7 +531,8 @@ namespace storm {
        
        template<>
        ClnRationalNumber convertNumber(RationalFunction const& number) {
-            return convertNumber<ClnRationalNumber>(number.nominatorAsNumber() / number.denominatorAsNumber());
+            storm::RationalFunctionCoefficient tmp = number.nominatorAsNumber() / number.denominatorAsNumber();
+            return convertNumber<ClnRationalNumber>(tmp);
        }
 #endif