From e89cbf2886ceeaf4c7f9826b9ae7688d87e0b1af Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 27 Feb 2019 00:55:46 +0100
Subject: [PATCH] fixed cyclic check.
---
src/storm/utility/graph.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storm/utility/graph.cpp b/src/storm/utility/graph.cpp
index fa23afe7f..1515a31f7 100644
--- a/src/storm/utility/graph.cpp
+++ b/src/storm/utility/graph.cpp
@@ -134,7 +134,7 @@ namespace storm {
uint64_t state = dfsStack.back();
if (unexploredStates.get(state)) {
unexploredStates.set(state, false);
- for (auto const& entry : transitionMatrix.getRowGroup(start)) {
+ for (auto const& entry : transitionMatrix.getRowGroup(state)) {
if (unexploredStates.get(entry.getColumn())) {
dfsStack.push_back(entry.getColumn());
} else {