From 92b384c17c041257dde7f3b7c85eaab9b803ae7c Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Tue, 14 Apr 2020 22:32:52 -0700
Subject: [PATCH] fix in recently introduced isSinkState

---
 src/storm/models/sparse/Model.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/models/sparse/Model.cpp b/src/storm/models/sparse/Model.cpp
index b7dc39dd5..1fe8c980e 100644
--- a/src/storm/models/sparse/Model.cpp
+++ b/src/storm/models/sparse/Model.cpp
@@ -417,7 +417,7 @@ namespace storm {
             bool Model<ValueType, RewardModelType>::isSinkState(uint64_t state) const {
                 for (auto const& entry : this->getTransitionMatrix().getRowGroup(state)) {
                     if (entry.getColumn() != state) { return false; }
-                    if (storm::utility::isOne(entry.getValue())) { return false; }
+                    if (!storm::utility::isOne(entry.getValue())) { return false; }
                 }
                 return true;
             }