From 759ea3604fb9696f7a17b110500517ecfe4719f0 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 12 Apr 2018 14:05:58 +0200
Subject: [PATCH] fixed expression to ExprTk translation for rational literals
 (pointed out by Joachim Klein)

---
 src/storm/storage/expressions/ToExprtkStringVisitor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/expressions/ToExprtkStringVisitor.cpp b/src/storm/storage/expressions/ToExprtkStringVisitor.cpp
index b7e9c39f2..82d489d2b 100644
--- a/src/storm/storage/expressions/ToExprtkStringVisitor.cpp
+++ b/src/storm/storage/expressions/ToExprtkStringVisitor.cpp
@@ -220,7 +220,7 @@ namespace storm {
         }
         
         boost::any ToExprtkStringVisitor::visit(RationalLiteralExpression const& expression, boost::any const&) {
-            stream << "(" << expression.getValue() << ")";
+            stream << "(" << expression.getValueAsDouble() << ")";
             return boost::any();
         }
     }