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 {