From 4924a0e5574eba498a49af855c1d73fde9e3fffe Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 27 Nov 2018 20:37:19 +0100
Subject: [PATCH] Fixed 'isZero' function in ConstantsComparator.

---
 src/storm/utility/ConstantsComparator.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/utility/ConstantsComparator.cpp b/src/storm/utility/ConstantsComparator.cpp
index 48ff1ee22..a7f9b9609 100644
--- a/src/storm/utility/ConstantsComparator.cpp
+++ b/src/storm/utility/ConstantsComparator.cpp
@@ -125,7 +125,7 @@ namespace storm {
         
         bool ConstantsComparator<storm::RationalNumber>::isZero(storm::RationalNumber const& value) const {
             if (storm::utility::isZero(precision)) {
-                return storm::utility::isOne(value);
+                return storm::utility::isZero(value);
             }
             return storm::utility::abs(value) <= precision;
         }