fixed cyclic check.

6 years ago · e89cbf2886
1 changed files with 1 additions and 1 deletions
--- 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 {