diff --git a/src/storm/models/sparse/Model.cpp b/src/storm/models/sparse/Model.cpp index 071a45071..bd62c17f5 100644 --- a/src/storm/models/sparse/Model.cpp +++ b/src/storm/models/sparse/Model.cpp @@ -424,7 +424,7 @@ namespace storm { bool Model::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; }