From a34fcca3393f30c4c7bbb14d0fcaea843c3d8ff4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Basg=C3=B6ze?= <dbasgoeze.github@basgoeze.com>
Date: Tue, 24 Aug 2021 18:06:26 +0200
Subject: [PATCH] Fix conversion ambiguity: Use 1 instead of 1.0

---
 src/storm/storage/geometry/ReduceVertexCloud.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/storage/geometry/ReduceVertexCloud.cpp b/src/storm/storage/geometry/ReduceVertexCloud.cpp
index 71e725d78..844f1f12d 100644
--- a/src/storm/storage/geometry/ReduceVertexCloud.cpp
+++ b/src/storm/storage/geometry/ReduceVertexCloud.cpp
@@ -53,7 +53,7 @@ namespace storm {
                                    expressionManager->rational(1));
                 } else {
                     smtSolver->add(storm::expressions::sum(weightVariableExpressions) <=
-                                   expressionManager->rational(1.0 + wiggle));
+                                   expressionManager->rational(1 + wiggle));
                     smtSolver->add(storm::expressions::sum(weightVariableExpressions) >=
                                    expressionManager->rational(1 - wiggle));
                 }
@@ -135,4 +135,4 @@ namespace storm {
             template class ReduceVertexCloud<storm::RationalNumber>;
         }
     }
-}
\ No newline at end of file
+}